summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2021-05-19added macros for proofs and theoremsGalin Simeonov
2021-05-19added makefileGalin Simeonov
2021-05-13init commitGalin Simeonov