#

itp

Here are 2 public repositories matching this topic...

data61 / PSL

machine-learning proof artificial-intelligence proof-assistant formal-methods isabelle domain-specific-language induction formal-verification itp psl hol interactive-theorem-proving conjecture formal-proofs proof-search proof-strategies

Updated Jun 7, 2024
Isabelle

rizaldialbert / vhdl-semantics

proof proof-assistant formal-methods isabelle formal-verification isabelle-hol itp interactive-theorem-proving formal-proofs

Updated Dec 7, 2020
Isabelle

Improve this page

Add a description, image, and links to the itp topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the itp topic, visit your repo's landing page and select "manage topics."