Ecosyste.ms: Timeline

Browse the timeline of events for every public repo on GitHub. Data updated hourly from GH Archive.

MysaaJava/guarded-lean

MysaaJava pushed 1 commit to plr MysaaJava/guarded-lean

View on GitHub

MysaaJava created a branch on MysaaJava/guarded-lean

plr - Guarded recursive types in Lean