Giters

0dminnimda / proofer

Non-cryptic proof assistant in Python

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

proofer

Non-cryptic proof assistant in Python

About

Non-cryptic proof assistant in Python

License:MIT License

Languages

Language:Python 100.0%