~xavierb/automath

Any task related to automath project: website, programming, documentation, etc.

Register here or Log in to submit tickets, or submit via email.
#2
Accept money donations beta
21 days ago
~xavierb
1 comment
#6
Decide which language using in exercises alpha
3 months ago
~xavierb
1 comment
#3
Make possible to write and submit new exercises from web interface beta
3 months ago
~xavierb
0 comments