Alex Keizer

icon company University of Cambridge icon location Cambridge icon location PhD Student @ University of Cambridge

Results 1 repositories owned by Alex Keizer

QpfTypes

22
Stars
2
Forks
Watchers

A WIP definitional (co)datatype package for Lean4

verified publisher icon alexkeizer