This repository contains exercises for the theorem prover Megalodon prepared for the course Formal Mathematics and Proof Assistants (2022).
Megalodon exercises
This repository contains exercises for the theorem prover Megalodon prepared for the course Formal Mathematics and Proof Assistants (2022).
Megalodon exercises