pauladam94 / currystLinks
Typst Package to typeset inference rule
☆36Updated 4 months ago
Alternatives and similar repositories for curryst
Users that are interested in curryst are comparing it to the libraries listed below
Sorting:
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆185Updated last week
- A Language with Dependent Data and Codata Types☆116Updated last week
- Learn Lean 4 with PLFA proofs.☆83Updated 4 months ago
- Programming Language Foundations in Lean☆42Updated last month
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- Type Checking in Lean 4☆31Updated last month
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆82Updated last week
- Natural language tactics to teach mathematics using Lean 4☆90Updated 3 weeks ago
- Coq code formatter☆24Updated last week
- Parser Combinator Library for Lean 4☆55Updated last week
- Prooftrees for Typst - Inspired by Latex's bussproofs☆19Updated last year
- Write C shims from within Lean code.☆67Updated last month
- ☆59Updated last week
- A Typst-friendly static Zettelkästen site generator.☆103Updated 3 weeks ago
- Formalization of Mathematical Logic☆151Updated this week
- Haskell library for parsing and evaluating typst☆64Updated 2 months ago
- Ground Zero: Lean 4 HoTT Library☆64Updated 3 weeks ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 2 months ago
- Mathlib search tool☆97Updated last week
- Distributions of Agda executable compiled into WebAssembly.☆19Updated 3 weeks ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆113Updated 2 weeks ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆37Updated last month
- agda-mode on VS Code☆177Updated this week
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆66Updated last week
- Language Server for Agda☆113Updated 3 weeks ago
- Logic and Mechanized Reasoning☆105Updated last month
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Updated last month
- Mirror of ocaml-forester☆45Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆37Updated last month
- Raylib bindings for Lean4☆26Updated 3 months ago