emintham / PapersLinks
Collection of papers read
☆227Updated 11 years ago
Alternatives and similar repositories for Papers
Users that are interested in Papers are comparing it to the libraries listed below
Sorting:
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- A curated set of links to formal methods involving provable code.☆216Updated 4 years ago
- Mirror of Software Foundations in PDF☆304Updated 5 years ago
- ☆171Updated 10 years ago
- The mathematical study of type theories, in univalent foundations☆118Updated 11 months ago
- Formal Reasoning About Programs☆717Updated last month
- MIT's abstract interpretation class taught by Cousot☆40Updated 11 years ago
- A curated list of awesome Coq frameworks, libraries and software.☆233Updated 3 weeks ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆125Updated 3 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated last month
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆175Updated 4 years ago
- papers of Per Martin Löf☆808Updated 2 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Updated 2 years ago
- A gently curated list of companies using verification formal methods in industry☆589Updated 3 months ago
- History of Programming Languages, Spring 2017☆137Updated 8 years ago
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- Program Synthesis Course☆265Updated last year
- An axiom-free formalization of category theory in Coq for personal study and practical work☆791Updated 3 weeks ago
- Ye Olde Computer Science Scrolls!☆105Updated 9 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Learn Prolog Now LaTeX sources☆101Updated 3 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- small MiniZinc examples demonstrating various language features☆126Updated 8 years ago
- The HOL Light theorem prover☆497Updated this week
- Formalizations of Gödel's Ontological Proof of God's Existence☆461Updated 7 years ago
- Mathematical Components☆666Updated this week
- CMU Undergrad Course☆95Updated 2 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆58Updated 5 years ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆375Updated 2 months ago
- ☆94Updated 9 months ago