ProofsAsPrograms
o Professor Emeritus of Computer Science at the University of Wyoming o Co-Director of the IOHK | Wyoming Advanced Blockchain Lab (WABL).
University of WyomingPortland, OR
Pinned Repositories
mathlib
Lean mathematical components library
ProofsAsPrograms's Repositories
ProofsAsPrograms/mathlib
Lean mathematical components library