Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
mathmtimet.pvs | 2021-05-19 15:46 | 118 | ||
max.pvs | 2021-05-19 15:46 | 346 | ||
live_calculus.pvs | 2021-05-19 15:46 | 1.4K | ||
max.prf | 2021-05-19 15:46 | 2.3K | ||
live_calculus.prf | 2021-05-19 15:46 | 3.0K | ||
live_calculus2.pvs | 2021-05-19 15:46 | 4.1K | ||
pipetheory.pvs | 2021-05-19 15:46 | 6.5K | ||
spec_theory.pvs | 2021-05-19 15:46 | 6.7K | ||
pipetheory_spec.pvs | 2021-05-19 15:46 | 8.7K | ||
live_calculus2.prf | 2021-05-19 15:46 | 17K | ||
spec_theory.prf | 2021-05-19 15:46 | 30K | ||
pipetheory.prf | 2021-05-19 15:46 | 69K | ||
pipetheory_spec.prf | 2021-05-19 15:46 | 91K | ||