emintham / PapersLinks
Collection of papers read
☆221Updated 10 years ago
Alternatives and similar repositories for Papers
Users that are interested in Papers are comparing it to the libraries listed below
Sorting:
- Mirror of Software Foundations in PDF☆304Updated 4 years ago
- git mirror of the Munich isabelle hg repository☆126Updated this week
- Elementary Number Theory: Primes, Congruences, and Secrets☆111Updated 2 years ago
- Formal Reasoning About Programs☆691Updated last week
- A curated list of awesome Coq frameworks, libraries and software.☆234Updated this week
- The formal proof of the Kepler conjecture☆163Updated last year
- Jupyter notebooks for tutorial on the Z3 SMT solver☆165Updated last year
- ☆27Updated 11 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆785Updated last week
- MIT's abstract interpretation class taught by Cousot☆39Updated 10 years ago
- Unix system programming in OCaml book☆290Updated 7 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- Domain-Specific Languages of Mathematics☆442Updated last week
- ☆161Updated 10 years ago
- A curated set of links to formal methods involving provable code.☆212Updated 3 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆134Updated 2 months ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆454Updated 6 years ago
- The HOL Light theorem prover☆473Updated last month
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆282Updated 3 years ago
- Pearls of Functional Algorithm Design by Richard Bird - Haskell Code☆190Updated 9 years ago
- Network Semantics☆90Updated 6 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆173Updated 4 years ago
- FSCQ is a certified file system written and proven in Coq☆247Updated 2 years ago
- Ye Olde Computer Science Scrolls!☆104Updated 8 years ago
- Cryptol: The Language of Cryptography☆1,176Updated this week