msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
2,254 Commits 21 Branches 11 Tags
d13b32ea48d255c71670321c9b8d0d611afe0a17
Commit Graph

1 Commits

Author SHA1 Message Date
aarne
59e4328128 mock up math extended with Agda 2007-10-31 17:13:20 +00:00