Proof Assistant

Software used to assist in proving mathematical theorems and verifying logical correctness.