proof assistant
Created Year: 1973Designed by: Andrzej Trybulec
Wikidata: Q1609529
Programming paradigms: declarative programming
Search on GitHub
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2025-03-19
Designed by: Andrzej Trybulec