This website requires JavaScript.
Explore
Help
Register
Sign In
Mysaa
/
m1-internship
Watch
1
Star
0
Fork
0
You've already forked m1-internship
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
64
Commits
2
Branches
0
Tags
Commit Graph
4 Commits
Author
SHA1
Message
Date
Mysaa
360dd1823c
Advance on the report
2023-08-06 23:52:05 +02:00
Mysaa
841f6e96f1
Added automated way to extract latex from lagda files
2023-08-05 20:33:25 +02:00
Ambrus Kaposi
a582f2555b
naming
2023-08-01 14:19:28 +02:00
Mysaa
e9eedbff2d
Added Agda code in latex, plus beginning of an introduction
2023-07-30 19:07:51 +02:00