Last released Jun 9, 2023
a python port of formal mathematics proof verifier.
Last released Jun 2, 2023
Lixiang90's personal blog
Supported by