Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • recreation_of_previous_results
  • unifying_approximations
  • parity_fixpoint
  • old_master_1.2
  • StochasticGames
  • cleaning_fixpoint
  • improvement_acceleration
  • 2.0
  • 1.2
  • POPL_22_submission_#1
11 results
Ralf Jung's avatar
Merge branch 'unicode_asterisk_in_docs' into 'master'
Ralf Jung authored 
Added note about unicode asterisk to docs

See merge request FP/iris-coq!203
455fec93
History
Ralf Jung's avatar 455fec93
History
Name Last commit Last update