Join/Login
Open Source Software
Business Software
For Vendors
Blog
About
More

For Vendors Help Create Join Login

Open Source Software

Business Software

SourceForge Podcast

Articles
Case Studies
Learn
Blog

Menu

Help
Create
Join
Login

Home
Browse
Averan
Code

Averan Code

Term-rewriting proof checker Java library

Brought to you by: codistmonk

Summary
Reviews
Support
Code

Browse Commits
Browse Files

Tree [r695] /

History

HTTPS access

File	Date	Author	Commit
trunk	2015-04-21	codistmonk	[r695] [Averan2][averan5] Updated AutoDeduceTest.

SourceForge

Create a Project
Open Source Software
Business Software
Top Downloaded Projects

Company

About
Team
SourceForge Headquarters
225 Broadway Suite 1600
San Diego, CA 92101
+1 (858) 454-5900

Resources

Support
Site Documentation
Site Status

© 2024 Slashdot Media. All Rights Reserved.

Terms Privacy Opt Out Advertise