Pinned Repositories
cubical
An experimental library for Cubical Agda
BA22022002
Final project of StatComp
emil
Code for the article Ensemble mapping the inner structure of luminous quasars
SomeAgdaCode
mlang
Towards changing things and see if it proofs
lwoo1999's Repositories
lwoo1999/BA22022002
Final project of StatComp
lwoo1999/emil
Code for the article Ensemble mapping the inner structure of luminous quasars
lwoo1999/SomeAgdaCode