Theorem Proving in Higher Order Logics

DOI10.1007/B100400zbMath1099.68722OpenAlexW2798038182MaRDI QIDQ5464663

Luís Cruz-Filipe, Freek Wiedijk

Publication date: 18 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100400

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (3)

How to get more out of your oracles ⋮ Formally proving size optimality of sorting networks ⋮ Formally verifying the solution to the Boolean Pythagorean triples problem

This page was built for publication: Theorem Proving in Higher Order Logics