source: LTS @ 3537

Name Size Rev Age Author Last Change
../
DICE2014 3478   5 years piccolo fixed costlabels
costs.ma 2.5 KB 3535   5 years piccolo final statement of cerco with the first pass integrated in place
Final.ma 9.8 KB 3535   5 years piccolo final statement of cerco with the first pass integrated in place
imp.ma 29.4 KB 3536   5 years pellitta roll-back per avere tipo seq_i con parametri e store_type come …
Lang_meas.ma 15.6 KB 3535   5 years piccolo final statement of cerco with the first pass integrated in place
Language.ma 135.1 KB 3535   5 years piccolo final statement of cerco with the first pass integrated in place
paper.txt 3.7 KB 3537   5 years piccolo paper schema
Permutation.ma 7.7 KB 3527   5 years piccolo fixed permutation axioms
root 30 bytes 3373   6 years sacerdot
Simulation.ma 21.5 KB 3531   5 years piccolo new notion of measurable: some lemmas are still broken
Traces.ma 39.5 KB 3535   5 years piccolo final statement of cerco with the first pass integrated in place
Vm.ma 53.0 KB 3535   5 years piccolo final statement of cerco with the first pass integrated in place
Note: See TracBrowser for help on using the repository browser.