Giters
andrejbauer
/
mathematics-and-computation
Andrej Bauer's blog "Mathematics and Computation"
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
46
Watchers:
9
Issues:
3
Forks:
5
andrejbauer/mathematics-and-computation Issues
RSS feed for website
Updated
2 years ago
Comments count
1
Use sans-serif MathJax fonts
Updated
5 years ago
Make Staticman delete branches after PR is accepted
Updated
5 years ago