This is a new incarnation of PHOLI where we implement the mix calculus, and the new axiomatic method.
jeandenivelle/pholi_mix
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a new incarnation of PHOLI where we implement the mix calculus, and the new axiomatic method.