https://github.com/rabuu/peanoforte

Peano-arithmetic proof verifier
https://github.com/rabuu/peanoforte

Last synced: 4 months ago
JSON representation

Peano-arithmetic proof verifier

• Host: GitHub
• URL: https://github.com/rabuu/peanoforte
• Owner: rabuu
• License: gpl-3.0
• Created: 2025-03-22T23:42:08.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2025-05-13T09:03:59.000Z (about 1 year ago)
• Last Synced: 2025-05-13T10:22:51.162Z (about 1 year ago)
• Language: C
• Homepage:
• Size: 137 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# PeanoForte 🎹

A toy proof verifier for Peano-arithmetic written in C.

This verifier is built upon the idea of the [Peano axioms](https://en.wikipedia.org/wiki/Peano_axioms).

## Build dependencies

The parser is built using [flex](https://github.com/westes/flex) and [GNU bison](https://www.gnu.org/software/bison/) which need to be installed.