dimashenme / triviumLinks
An English translation of a problem course ("Trivium") in undergraduate maths
☆10Updated 2 years ago
Alternatives and similar repositories for trivium
Users that are interested in trivium are comparing it to the libraries listed below
Sorting:
- ☆22Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 5 months ago
- Solution to Algebra, Chapter 0☆96Updated last month
- ☆35Updated last month
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- Mathematical Components (the Book)☆148Updated last month
- 十分钟魔法练习 in OCaml☆34Updated 3 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆127Updated 9 months ago
- ☆92Updated 7 months ago
- Selected Papers of Dana S. Scott☆168Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆50Updated 3 years ago
- Linux kernel library functions formally verified.☆52Updated last week
- Development of the univalent foundations of mathematics in Coq☆19Updated 13 years ago
- Modeling and Proving in Computational Type Theory☆118Updated 3 months ago
- Books on programming language theory and linguistics in general.☆55Updated 4 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆64Updated 2 years ago
- Software Foundations☆147Updated last year
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆35Updated last year
- Repository for (for now) filing bug reports about PLAI.☆11Updated 4 months ago
- CMU Undergrad Course☆95Updated 2 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Updated 2 years ago
- Mathematical notes and papers☆27Updated last month
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Updated last year
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆223Updated last month
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆175Updated 4 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated last week
- Coq集合论中文教程☆46Updated 3 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago