Formal Methods Tools

Narya

Proof Assistant

At a Glance

Applications Theorem Prover
Interfaces CLI
Licenses GPL-3.0
Maintenance Actively Maintained

Description

Narya: A proof assistant for higher-dimensional type theory

Help improve this page!
Submit an issue or pull request.
Updated