anwarmamat / cmsc330fall20Links
☆34Updated 5 years ago
Alternatives and similar repositories for cmsc330fall20
Users that are interested in cmsc330fall20 are comparing it to the libraries listed below
Sorting:
- ☆17Updated last year
- Boolean satisfiability for propositional logic in Python☆14Updated 4 months ago
- Program Synthesis Course☆264Updated last year
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- ☆21Updated 6 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆53Updated 2 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 4 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆303Updated last year
- ☆234Updated last year
- Jupyter notebooks for tutorial on the Z3 SMT solver☆166Updated 2 years ago
- Notes for first year Computing at Imperial College London☆54Updated 3 years ago
- Starter kit for new players of Terminal. Contains starter-algo and a basic CLI for running/debugging algo's locally.☆238Updated 5 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Updated last year
- A gamification of the theorems in MATH40002 Analysis 1☆84Updated 2 years ago
- Lean Library currently studying for a degree at Imperial College☆229Updated 10 months ago
- A LaTeX package for proof carrying papers☆24Updated 9 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆415Updated 2 years ago
- Unofficial Client for Piazza's Internal API☆206Updated 5 months ago
- A survey of known lower bounds in arithmetic circuits.☆33Updated 3 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆167Updated 3 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- The WIP book for CPSC 411☆67Updated this week
- A simple Brainfuck JIT written as a learning exercise.☆16Updated 6 years ago
- Repository for the QED interactive text and possible extensions☆113Updated 11 months ago
- minimalist pure lazy functional programming language (pythonic haskell)☆79Updated 9 months ago
- The formal proof of the Kepler conjecture☆171Updated last year
- Number theory: primes, arithmetic functions, modular computations, special sequences☆154Updated 2 weeks ago
- My Solution to Velleman's book☆266Updated 3 months ago
- Visual Studio Code extension for Coq☆428Updated last month