H-Huang / LL1-Academy
LL1 by Team , made with
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for LL1-Academy
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 2 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆28Updated last year
- Busy Beaver deciders backed by Coq proof☆39Updated 3 months ago
- Hosts the website for mathlib and other Lean community infrastructure.☆54Updated this week
- Visual Studio Code extension for Coq☆342Updated this week
- Logic and Mechanized Reasoning☆84Updated 4 months ago
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Updated 3 months ago
- Theory of Computing Report☆12Updated last month
- Automated generation of provably secure, zero-copy parsers from format specifications☆249Updated this week
- Metamath program - source code for the Metamath executable☆79Updated 3 months ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆64Updated this week
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆83Updated 3 months ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆163Updated this week
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆55Updated 7 months ago
- Language for high-assurance and high-speed cryptography☆268Updated this week
- embedding MLIR in LEAN☆47Updated 4 months ago
- Cerberus C semantics☆53Updated this week
- Verifier for pseudo-Boolean proofs☆12Updated 2 years ago
- ☆222Updated 3 months ago
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆12Updated 2 years ago
- 👋 get to know me through my personal website!☆10Updated last year
- A database app for ring theory☆21Updated last month
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆144Updated 8 months ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆30Updated 3 months ago
- A survey of known lower bounds in arithmetic circuits.☆27Updated 2 years ago
- ☆21Updated 2 years ago
- Race Condition Running☆12Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated last week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆35Updated last month