amm299

Pinned Repositories

con-nf
A formal verification of Con(NF)
Language:TeX00
flower
Flower - A Friendly Federated Learning Framework
Language:Python00
strix
Avionics system for the Martlet IV rocket.
6 8 02
con-nf
A formal consistency proof of Quine's set theory New Foundations
Language:Lean57 17 244

amm299's Repositories

amm299/con-nf
A formal verification of Con(NF)
Language:TeX00
amm299/flower
Flower - A Friendly Federated Learning Framework
Language:Python00