advancedresearch/poi

a pragmatic point-free theorem prover assistant

语言：Rust · GitHub 星标：143 · Fork：7

在 GitHub 上查看原仓库