Mikaela
/
ormirror
mirror of https://gitea.blesmrt.net/mikaela/ormirror.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
14 Commits 1 Branch 0 Tags 110 KiB
Commit Graph

2 Commits

Author SHA1 Message Date
Aminda Suomalainen c3715962a5
or: add proofs 
Closes #141
 2019-05-03 11:44:05 +03:00
Aminda Suomalainen 06fdcdc1b2
Initial commit 2018-09-29 20:23:57 +03:00