C

Coq

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.

Logique+, UE du semestre 6, TPs sur CoqIDe

A Formalization of Lambda Decision Diagram (LDD) in Coq.

Lecture notes and study material for the Proof Assistant Coq

A formalization of Simply Typed Lambda Calculus with α-equivalence using Coq

Category theory library in Coq

So far it's the single all-containing project in the group, but that may change in the future.

Formally verified cryptocurrency smart contracts using game semantics in Coq