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