DafnyVSCode / Dafny-VSCode
Dafny 2 for Visual Studio Code (Legacy)
☆18Updated 2 years ago
Alternatives and similar repositories for Dafny-VSCode:
Users that are interested in Dafny-VSCode are comparing it to the libraries listed below
- Communication between Coq and SAT/SMT solvers☆159Updated 6 months ago
- A Library for Representing Recursive and Impure Programs in Coq☆217Updated last month
- Randomized Property-Based Testing Plugin for Coq☆264Updated this week
- Lecture material for DeepSpec Summer School 2017☆87Updated 3 years ago
- Convert Haskell source code to Coq source code☆280Updated 4 years ago
- ☆47Updated 4 months ago
- A function definition package for Coq☆227Updated this week
- Convert Haskell source code to Coq source code.☆83Updated 7 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆515Updated last month
- Mostly Automated Synthesis of Correct-by-Construction Programs☆151Updated last week
- An automated deductive program verifier.☆42Updated 2 years ago
- ☆36Updated this week
- Coq plugin embedding elpi☆161Updated last week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆430Updated this week
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆253Updated this week
- PL conference deadline countdowns☆57Updated last week
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆89Updated last week
- The Ott tool for writing definitions of programming languages and calculi☆367Updated 3 months ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆226Updated last week
- A curated list of awesome Coq frameworks, libraries and software.☆235Updated this week
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- Lem semantic definition language☆138Updated 3 weeks ago
- An interactive theorem prover based on lambda-tree syntax☆94Updated 2 months ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆130Updated 3 months ago
- A Verified Compiler for Gallina, Written in Gallina☆140Updated 2 months ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆58Updated last year
- A library for formalizing Haskell types and functions in Coq☆168Updated last year
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆128Updated 4 months ago
- Definition of the Viper intermediate verification language.☆83Updated 2 weeks ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆56Updated 6 months ago