https://github.com/sacerdot/FunctionsAsProcesses
Tip revision: a4c8898054e9766db644b7b2608b163a1e34f45a authored by Claudio Sacerdoti Coen on 15 May 2023, 14:51:46 UTC
First release on GitHub
First release on GitHub
Tip revision: a4c8898
| File | Mode | Size |
|---|---|---|
| LICENSE | -rw-r--r-- | 17.7 KB |
| Makefile | -rw-r--r-- | 637 bytes |
| README.md | -rw-r--r-- | 866 bytes |
| common_definitions.thm | -rw-r--r-- | 187 bytes |
| complements___equivalence_of_pi_presentations.thm | -rw-r--r-- | 3.7 KB |
| complements___ms-normal_is_well_defined.thm | -rw-r--r-- | 2.7 KB |
| depend | -rw-r--r-- | 2.3 KB |
| equivalence_of_presentations.thm | -rw-r--r-- | 3.7 KB |
| micro_weak_head.thm | -rw-r--r-- | 5.4 KB |
| postponement_of_structural_equivalence.thm | -rw-r--r-- | 21.7 KB |
| processes_terms.mod | -rw-r--r-- | 23 bytes |
| processes_terms.sig | -rw-r--r-- | 495 bytes |
| relating_pi_and_lsc.thm | -rw-r--r-- | 18.5 KB |
| relating_wh_and_mwh.thm | -rw-r--r-- | 12.9 KB |
| weak_head.thm | -rw-r--r-- | 681 bytes |
README.md
Loading README.md ...
