Hugging Face's logo
Snapkitty 's Collections
Financial and Enterprise
Community and Culture
Infrastructure and Tools
Security and Cryptography
Compilers and Runtimes
Quantum Computing
Research and Papers
Training Frameworks and Tooling
GPU Kernels and Hardware
Formal Verification and Proofs
Agent Systems and Orchestration
Sovereign Models and GGUFs

Formal Verification and Proofs

Zero-sorry Lean 4 theorems, Agda formalizations, and cross-language verification. Every proof compiles. No axiom admits.