rnhmjoj/sistemi-formali
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Tesi di fine anno
3 Commits 1 Branch 0 Tags 2.9 MiB
721e8360ca
Go to file
rnhmjoj 721e8360ca Remove OSX-specific path
2016-03-19 16:34:13 +01:00
images Initial commit 2015-06-25 20:26:55 +02:00
options Initial commit 2015-06-25 20:26:55 +02:00
godel.md Initial commit 2015-06-25 20:26:55 +02:00
index.html Rename files 2015-06-25 20:30:58 +02:00
lambda-calcolo.md Initial commit 2015-06-25 20:26:55 +02:00
makefile Remove OSX-specific path 2016-03-19 16:34:13 +01:00
metateatro.md Initial commit 2015-06-25 20:26:55 +02:00
README.md Initial commit 2015-06-25 20:26:55 +02:00
sistemi-formali.pdf Rename files 2015-06-25 20:30:58 +02:00

README.md

I sistemi formali

tesi di fine anno

See the html version here.

License

Dual licensed under the MIT and GPL licenses:
http://www.opensource.org/licenses/mit-license.php
http://www.gnu.org/licenses/gpl.html