Pinned Repositories
fish_algorithm
proposition_theory_python
Definitions and proofs written in Python
pyprover
Python-based theorem prover
kaicho8636's Repositories
kaicho8636/pyprover
Python-based theorem prover
kaicho8636/fish_algorithm
kaicho8636/proposition_theory_python
Definitions and proofs written in Python