Formal Methods Tools

Megalodon

Interactive Theorem Prover

At a Glance

Applications Theorem Prover
Licenses MIT
Maintenance Actively Maintained

Description

Megalodon is an open source interactive theorem prover and proof checker.

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