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
- Visual Studio Code extension for Coq☆347Updated this week
- 👋 get to know me through my personal website!☆10Updated last year
- ☆223Updated 3 months ago
- Interactive Coq Proofs in Vim☆274Updated 2 months ago
- Program Synthesis Course☆247Updated 8 months ago
- The Vellvm (Verified LLVM) coq development.☆401Updated this week
- ☆158Updated this week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆292Updated 8 months ago
- git mirror of the Munich isabelle hg repository☆115Updated this week
- Visual Studio Code Extension and Language Server Protocol for Coq☆152Updated last week
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆65Updated this week
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆44Updated last month
- The HOL Light theorem prover☆434Updated this week
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆104Updated 4 months ago
- A LaTeX Typesetting Game☆243Updated last week
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- Hosts the website for mathlib and other Lean community infrastructure.☆54Updated this week
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆218Updated last week
- Verifying concurrent crash-safe systems☆165Updated this week
- Lean 3 Theorem Prover (community fork)☆435Updated last year
- A Library for Representing Recursive and Impure Programs in Coq☆204Updated last month
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆37Updated last year
- Mathematical Components compliant Analysis Library☆207Updated this week
- Automatic verification of LLVM optimizations☆797Updated this week
- Busy Beaver deciders backed by Coq proof☆39Updated 4 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆170Updated this week
- Automated generation of provably secure, zero-copy parsers from format specifications☆251Updated this week
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆28Updated last year
- Definition of the Viper intermediate verification language.☆79Updated this week