https://github.com/zeramorphic/shoumei
https://github.com/zeramorphic/shoumei
Last synced: 8 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/zeramorphic/shoumei
- Owner: zeramorphic
- Created: 2020-12-13T19:08:11.000Z (almost 5 years ago)
- Default Branch: main
- Last Pushed: 2021-01-08T13:04:34.000Z (almost 5 years ago)
- Last Synced: 2025-01-16T06:15:03.312Z (10 months ago)
- Language: Rust
- Size: 463 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Shoumei (証明)
A mathematical proof assistant aiming for complete axiomatic correctness. Definitions, claims and proofs are written in `.shoumei` files, which are then parsed and validated by `shoumei`.
## Goals and Anti-Goals
Shoumei attempts to create an environment in which proofs of many kinds can be checked rigorously, including proofs that algorithms terminate. It does not attempt to accept all proofs, or even a majority of proofs; it simply aims to provide a language into which many proofs may be translated.