Home »
Tags »
formalized mathematics

Tag: formalized mathematics

Found 5 extensions tagged with "formalized mathematics".

formalized mathematics related extensions

PVS 1.0.65 VSIX File for VS Code

Category: Programming Languages / Updated: April 24, 2024

Integrates the PVS theorem proving system into Visual Studio Code ...

Download VSIX Version History

Isabelle Prover IDE 1.2.1 VSIX File for VS Code

Category: Programming Languages / Updated: March 2, 2020

Isabelle Prover IDE ...

Download VSIX

Isabelle 2.0.1 VSIX File for VS Code

Category: Programming Languages / Updated: March 3, 2022

Isabelle Prover IDE ...

Download VSIX Version History

Isabelle 2017 1.0.0 VSIX File for VS Code

Category: Programming Languages / Updated: September 19, 2017

Isabelle Prover IDE ...

Download VSIX

Isabelle 2019 1.1.2 VSIX File for VS Code

Category: Programming Languages / Updated: May 3, 2019

Isabelle Prover IDE ...

Download VSIX

Recommended

PlantUML 2.18.1

Released: November 18, 2016

Updated: April 11, 2024
GitLens 2024.5.105

Released: September 6, 2016

Updated: May 1, 2024
Jupyter 2024.4.2024042601

Released: November 12, 2020

Updated: April 26, 2024
Postman 1.0.1

Released: May 12, 2023

Updated: April 16, 2024
Windows 12 Concept Theme 1.1.0

Released: January 7, 2024

Updated: April 10, 2024

Open in System Terminal 1.0.2

Released: April 23, 2024

Updated: April 24, 2024
Dark Panther 1.0.2

Released: April 26, 2024

Updated: April 26, 2024
Lacework Security 1.8.4

Released: February 21, 2024

Updated: April 26, 2024
Tailwind Sorter 0.0.7

Released: January 28, 2024

Updated: April 29, 2024
File Makeup Viewer 1.0.6

Released: April 27, 2024

Updated: April 30, 2024