humanfia-lab/qcode
Viewer • Updated • 69 • 74
Humanfia Lab
community
AI & ML interests
None defined yet.
Recent Activity
humanfia-lab/icho-2026-lean4-formalizations
Viewer • Updated • 160 • 49
humanfia-lab/putnambench-solution-preview
Updated • 29
humanfia-lab/lean-eval-source
Updated • 253
humanfia-lab/ipho2026-formalized-results
Updated • 89
humanfia-lab/QIT
Viewer • Updated • 40 • 326
humanfia-lab/QAlg
Viewer • Updated • 36 • 258
humanfia-lab/IPHO2026
Viewer • Updated • 233 • 578
humanfia-lab/IMO2026
Updated • 229
humanfia-lab/putnambench-solution
Updated • 16
humanfia-lab/ipho-lean
Updated • 219