This website requires JavaScript.
Explore
Help
Register
Sign In
pouya-abbassi
/
FG42
forked from
FG42/FG42
Watch
1
Star
0
Fork
You've already forked FG42
0
Code
Pull Requests
Activity
1,023
Commits
18
Branches
1
Tag
8.4
MiB
3f6a77618a
Commit Graph
2 Commits
Author
SHA1
Message
Date
Sameer Rahmani
fa0c5765eb
Refactor the defcube macro to start the body with the splated props
2023-06-10 22:47:07 +01:00
Sameer Rahmani
56d16ad1ba
Add Coq and agda cubes
2023-05-31 18:17:05 +01:00