Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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).