-
- Downloads
Merge branch 'new' into 'new'
Fix quirks in logrel for systemf_mu[_state] by adding different quirks See merge request !1
No related branches found
No related tags found
Showing
- theories/type_systems/systemf_mu/logrel.v 40 additions, 60 deletionstheories/type_systems/systemf_mu/logrel.v
- theories/type_systems/systemf_mu/z_combinator.v 11 additions, 11 deletionstheories/type_systems/systemf_mu/z_combinator.v
- theories/type_systems/systemf_mu_state/logrel.v 54 additions, 75 deletionstheories/type_systems/systemf_mu_state/logrel.v
- theories/type_systems/systemf_mu_state/mutbit.v 2 additions, 2 deletionstheories/type_systems/systemf_mu_state/mutbit.v
Loading
Please register or sign in to comment