Commits · 247ff95f7ef7b967f218d6ef4cf79719cabee7fc · Gaëtan Gilbert / Iris

Aug 03, 2023
- Make `R` argument of `principal` implicit, it can be infered from the type of `mra R`. · 247ff95f
  Robbert Krebbers authored 1 year ago
  
  247ff95f
- Tweak `mra`. · fec7b59e
  Robbert Krebbers authored 1 year ago
  
  fec7b59e
- Make [mra_over_rel] an opt-in module · 86b6b8e7
  Paolo G. Giarrusso authored 1 year ago
  
  86b6b8e7
- Replace some proofs with set_solver · e2cbb35c
  Paolo G. Giarrusso authored 1 year ago
  
  e2cbb35c
- Theory revisions · 6911395b
  Paolo G. Giarrusso authored 1 year ago
  
  6911395b
- Some proof tweaks · 5b18a235
  Paolo G. Giarrusso authored 1 year ago
  
  5b18a235
Aug 11, 2022
- more coqdoc · 675a023e
  Ralf Jung authored 2 years ago
  
  675a023e
Aug 04, 2022
- rename staging to unstable · d9360cde
  Ralf Jung authored 2 years ago
  
  d9360cde
May 07, 2021
- Apply 1 suggestion(s) to 1 file(s) · be38c833
  Amin Timany authored 3 years ago
  
  be38c833
- Apply 1 suggestion(s) to 1 file(s) · f9c33304
  Amin Timany authored 3 years ago
  
  f9c33304
- Add monotone resource algebra to iris_staging · bc0d8a6e
  Amin Timany authored 3 years ago
  
  bc0d8a6e