A interactive theorem prover to verify code correctness and mathematical theorems.
It is mainly for:
- Mathematics
- Software/Hardware verification https://leodemoura.github.io/files/CAV2024.pdf
A interactive theorem prover to verify code correctness and mathematical theorems.
It is mainly for: