Tag: mathematical logic
Found 5 extensions tagged with "mathematical logic".
mathematical logic related extensions
-
Category: Programming Languages / Updated: April 24, 2024
Integrates the PVS theorem proving system into Visual Studio Code ...
-
Category: Programming Languages / Updated: March 2, 2020
Isabelle Prover IDE ...
-
Category: Programming Languages / Updated: March 3, 2022
Isabelle Prover IDE ...
-
Category: Programming Languages / Updated: September 19, 2017
Isabelle Prover IDE ...
-
Category: Programming Languages / Updated: May 3, 2019
Isabelle Prover IDE ...
Recommended
Integrates the PVS theorem proving system into Visual Studio Code ...
