Tree @
master
(
Download .tar.gz
)
.gitignore
01-basics.v
History of 01-basics.v
@
master
git clone https://git.gdritter.com/software-foundations/
Flattened some proofs
Getty Ritter
7 years ago
finished exercises
Getty Ritter
7 years ago
Some of the first Software Foundations exercises
Getty Ritter
7 years ago