Proof Rondo 2

Project information

Proof Rondo is a TypeScript-based, first-order logic (FOL) proof verifier.

logic proof checker TypeScript

9 Commits
2 Branches
0 Tags

README
MIT License
CHANGELOG
CONTRIBUTING

Created on

March 31, 2025

Loading