L
Lean4

Projects with this topic

View C4Reqber project

Cognitive-Functors / C4Reqber

Cognitive exoskeleton for AI agents and human researchers — by Cognitive Functors. Turn questions into verified constructive & destructive insights: breakthrough scientific-engineering hypotheses checked across 47 literature sources, 38 simulation bridges, and 9 formal verifiers — then gated proposals, dissertations, BibTeX, and proofs you can publish. Not a chatbot — a research pipeline. pip install c4reqber · blast solve · Z₃³ · 21 MCP · AGPL-3.0.

c4reqber scientific-d... ai-agents mcp formal-verif... Python terminal research-pip... simulation Lean4 open-source agpl pypi TUI knowledge-graph Coq dafny arxiv cli cognitive-sc... cdi constructive... terminal-ui breakthrough... cognitive-ex... cognitive-fu...

0

Updated Jul 14, 2026

0 0 2 0

Updated Jul 14, 2026
View Lean4_Examples project

Orlando Rivera Letelier / Lean4_Examples

Collection of Lean4 examples, starting with a proof of Farkas' Lemma (finite dimension) written by Aristotle.

Lean4 linear optim...

0

Updated Apr 28, 2026

0 0 0 0

Updated Apr 28, 2026