Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/nyuichi/shari

Shari the :sushi: prover
https://github.com/nyuichi/shari

Last synced: 22 days ago
JSON representation

Shari the :sushi: prover

Awesome Lists containing this project

README

        

# Shari the 🍣 prover

*Shari* is an interactive theorem prover for writing proofs in the internal language of toposes (intuitionistic higher-order arithmetic).