lwoo1999

USTCHefei

Pinned Repositories

cubical
An experimental library for Cubical Agda
Language:Agda447 26 242136
BA22022002
Final project of StatComp
Language:C++00
emil
Code for the article Ensemble mapping the inner structure of luminous quasars
Language:Jupyter Notebook0 2 00
SomeAgdaCode
Language:Agda0 1 00
mlang
Towards changing things and see if it proofs
Language:Scala60 7 93

lwoo1999's Repositories

lwoo1999/BA22022002
Final project of StatComp
Language:C++00
lwoo1999/emil
Code for the article Ensemble mapping the inner structure of luminous quasars
Language:Jupyter Notebook0 2 00
lwoo1999/SomeAgdaCode
Language:Agda0 1 00