⚠️ This project was developed from 2010 to 2016 and is no longer maintained⚠️
Automatic Reasoning with Functional Programming Assertions.
This project is released under the MIT License.
This repository was archived by the owner on Dec 27, 2025. It is now read-only.
tvcsantos/improved
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|