https://github.com/nyuichi/shari

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

Last synced: about 1 month ago
JSON representation

Shari the :sushi: prover

• Host: GitHub
• URL: https://github.com/nyuichi/shari
• Owner: nyuichi
• Created: 2020-08-22T14:45:18.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2023-09-16T23:31:19.000Z (about 1 year ago)
• Last Synced: 2024-05-22T20:31:50.816Z (6 months ago)
• Language: Rust
• Size: 321 KB
• Stars: 5
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - shari - the 🍣 prover. (Projects / Provers and Solvers)

README

        
# Shari the 🍣 prover

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