aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
mastertweak README.mdAmin Bandali7 months
 
TagDownloadAuthorAge
originallogical-verification-original.tar.xz  logical-verification-original.zip  Amin Bandali8 months
 
AgeCommit messageAuthorFilesLines
2019-01-13tweak README.mdHEADmasterAmin Bandali1-1/+1
2019-01-13add README.mdAmin Bandali1-0/+17
2019-01-04add *.lean material from course websiteoriginalAmin Bandali47-0/+8179
2019-01-04initial commitAmin Bandali2-0/+10
 
Clone
https://git.shemshak.org/amin/logical-verification