Georgy Dunaev
🏛 Classic (Author)
✨ Switch to Modern AI Portal →
JavaScript is disabled. Direct links:
About Georgy Dunaev
·
Modern Portfolio
·
Dunaev Tagged Ordered Pairs
·
Formulas-as-Types vs. Proof-Term Compilation in MK/NBG
·
Obelisk ML-Generated Manual
Recursion Theorem in ZF (AFP)
Obelisk Proof Assistant
Formulas-as-Types vs. Proof-Term Compilation in MK/NBG