Snippets Groups Projects

S

Satisfiable Demo

Merge branch 'robbert/done' into 'master'

Robbert Krebbers authored 4 years ago

More documentation of `done` in proof mode docs

See merge request iris/iris!448

9bb018b3

9bb018b3 4 years ago

Name	Last commit	Last update