pauladam94 / currystLinks
Typst Package to typeset inference rule
☆34Updated 2 months ago
Alternatives and similar repositories for curryst
Users that are interested in curryst are comparing it to the libraries listed below
Sorting:
- Programming Language Foundations in Lean☆38Updated 2 months ago
- GitHub action for standard CI in Lean projects☆20Updated 3 weeks ago
- Mathlib search tool☆92Updated 2 weeks ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆19Updated last year
- Haskell library for parsing and evaluating typst☆60Updated 3 weeks ago
- A Language with Dependent Data and Codata Types☆107Updated 2 weeks ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆77Updated 2 weeks ago
- Parser Combinator Library for Lean 4☆50Updated 2 weeks ago
- A prototype for a monadic program logic in Lean☆33Updated last week
- Ground Zero: Lean 4 HoTT Library☆62Updated 2 weeks ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 2 weeks ago
- ☆48Updated this week
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆26Updated this week
- The Lean reference manual☆67Updated this week
- Type Checking in Lean 4☆28Updated 2 weeks ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- A MySQL API for Lean 4☆17Updated 3 years ago
- Overview of tactics in Lean 4 for beginners — longer version☆82Updated 9 months ago
- Learn Lean 4 with PLFA proofs.☆76Updated 2 months ago
- A WIP definitional (co)datatype package for Lean4☆38Updated 6 months ago
- Formalising the WASM spec in Lean☆23Updated last year
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 5 months ago
- Lean 4 formalization of Rubik's cubes☆31Updated 4 months ago
- A Typst-friendly static Zettelkästen site generator.☆80Updated last week
- Library implementing type inference/checking functionality based on the Lean theorem prover☆65Updated 2 weeks ago
- Lean 4 library for pretty printing expressions as LaTeX☆25Updated 3 months ago
- sockets for Lean 4☆18Updated 11 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆54Updated this week
- Raylib bindings for Lean4☆26Updated last month
- Coq code formatter☆23Updated last week