druths / comp598-2021Links
Resources for the 2021 offering of COMP 598
☆23Updated 4 years ago
Alternatives and similar repositories for comp598-2021
Users that are interested in comp598-2021 are comparing it to the libraries listed below
Sorting:
- COMP303-Software Design at McGill University☆86Updated last year
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21Updated 6 years ago
- PL conference deadline countdowns☆63Updated last week
- ☆48Updated last year
- Smalls CLIs to get a bibtex entries from a DOI, an arXiv ID or a PubMed ID and to pretty print bibtex entries (or files)☆63Updated last week
- Official repository of the Autosubst 2 project.☆25Updated 2 years ago
- ☆22Updated last year
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Updated 4 months ago
- Deadlock freedom by type checking☆20Updated 2 years ago
- ☆14Updated 11 months ago
- An automated deductive program verifier based on concurrent separation logic☆27Updated this week
- ☆64Updated 3 months ago
- Hahn: A Coq library☆29Updated last year
- Template for a (PhD) thesis☆10Updated last month
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 4 months ago
- Arthur's Formal Metatheory in Coq☆18Updated last year
- Starter project configuration for my COMP 303 Software Development course at McGill University☆12Updated 3 years ago
- Yet Another deep embedding of Linear Logic in Coq☆16Updated 3 months ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆54Updated last year
- ☆23Updated 3 months ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated 2 years ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆46Updated last week
- coinduction library for Coq☆21Updated last month
- Tutorial for using the MPL compiler for Parallel ML☆23Updated 11 months ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆18Updated last week
- ☆15Updated last year
- A monadic library for symbolic evaluation☆73Updated 5 months ago
- Some class resources for classes I took/am taking at McGill as an undergraduate student.☆59Updated 6 years ago
- ☆23Updated 2 months ago
- ☆10Updated 5 years ago