formal-system
There are 1 repositories under formal-system topic.
punctilious
A human-friendly and developer-friendly math proof assistant
There are 1 repositories under formal-system topic.
A human-friendly and developer-friendly math proof assistant