-
logicaffeine-kernel
Pure Calculus of Constructions type theory - NO LEXICON
-
logicaffeine-language
Natural language to first-order logic pipeline
-
logicaffeine-compile
LOGOS compilation pipeline - codegen and interpreter
-
logicaffeine-proof
Backward-chaining proof engine with Socratic hints
-
logicaffeine-lsp
Language Server Protocol implementation for LogicAffeine
-
logicaffeine-data
WASM-safe data structures and CRDTs - NO IO
-
logicaffeine-system
Platform IO and system services for LOGOS
-
logicaffeine-base
Pure structural atoms for logicaffeine - arena, tokens, spans
-
logicaffeine-lexicon
English vocabulary types and compile-time lexicon lookup for logicaffeine
-
lean-tui
Standalone TUI infoview for Lean 4 theorem prover
-
anthem
A command-line application for assisting in the verification of answer set programs
-
kind2
A pure functional functional language that uses the HVM
-
lsts
Large Scale Type Systems
-
logicaffeine-cli
CLI tool for logicaffeine (largo)
-
mm0_util
MM0/MM1 language utilities
-
mm0b_parser
parsing tools for Metamath Zero's MMB binary format
-
pawer
doc Calculus of Construction
-
metamath-rs
manipulating Metamath databases, including a parallel and incremental verifier for Metamath databases
-
formality
An efficient programming language featuring formal proofs
-
pawer_core
doc Calculus of Construction
-
qbar
the rational proof assistant
Try searching with DuckDuckGo.