johnyob / University-NotesLinks
A complete collection of my undergraduate notes
☆34Updated 3 years ago
Alternatives and similar repositories for University-Notes
Users that are interested in University-Notes are comparing it to the libraries listed below
Sorting:
- The Lean Computer Science Library (CSLib)☆213Updated this week
- Neovim client for coq-lsp☆30Updated 3 months ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆366Updated this week
- OxCaml Parallelism☆35Updated last month
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆65Updated 2 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated this week
- A proof assistant for higher-dimensional type theory☆227Updated 4 months ago
- Visual Studio Code extension for Coq☆427Updated 3 weeks ago
- LaTeX code for a paper on lean's type theory☆154Updated 3 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆280Updated 3 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆78Updated last month
- PL conference deadline countdowns☆63Updated last month
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆195Updated last month
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆48Updated 2 weeks ago
- Formal verification for OCaml☆271Updated last year
- CIS 6700, Spring 2023☆18Updated 2 years ago
- ☆74Updated 2 weeks ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 5 months ago
- Selected Papers of Dana S. Scott☆170Updated last year
- Opam repository for the development version of Jane Street packages☆132Updated 2 months ago
- A garden of small programming language implementations 🪴☆299Updated 2 weeks ago
- ☆234Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- HoTTEST Summer School materials☆320Updated 7 months ago
- ☆119Updated last year
- Lean 4 kernel / 'external checker' written in Lean 4☆148Updated 3 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆311Updated 3 weeks ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆411Updated this week
- Experiments on automation for Lean☆150Updated this week
- A Verified Compiler for Gallina, Written in Gallina☆158Updated 3 weeks ago