theorems/moncee

1. 0.10.0
2. 0.9.3
3. 0.9.2
4. 0.9.1
5. 0.9.0
6. 0.8.4
7. 0.8.3
8. 0.8.2
9. 0.8.1
10. 0.8.0
11. 0.7.5
12. 0.7.4
13. 0.6.2
14. 0.5.11
15. 0.5.10
16. 0.5.9
17. 0.5.8
18. 0.5.7

Other artifacts built under group theorems

1. theorems/clojure
2. theorems/irmagician
3. theorems/silvur