Issues · Iris / Iris · GitLab

iris.sty incompatible with acmart

#335 · opened Jul 14, 2020 by Ralf Jung A-docs C-bug
- 6
updated Jul 15, 2020
Documentation for installation on Windows

#289 · opened Feb 06, 2020 by Ralf Jung A-docs C-enhancement
- 0
updated Feb 06, 2020
Documentation for installation on OS X

#280 · opened Dec 16, 2019 by Jules Jacobs A-docs C-enhancement
- 1
- 8
updated Feb 06, 2020
Create example user library and document library best practices

#276 · opened Dec 02, 2019 by Robbert A-docs C-enhancement T-style
- 1
- 2
updated Sep 29, 2020
Documentation for the algebra folder

#235 · opened Mar 30, 2019 by Robbert A-docs C-enhancement T-algebra
- 2
- 1
updated Nov 01, 2019
Make clear which arguments of tactics are optional in `ProofMode.md`

#158 · opened Feb 23, 2018 by Robbert A-docs C-enhancement Good First Issue T-proofmode
- 0
updated Mar 18, 2020
Better names and documentation for proof mode typeclasses

#139 · opened Jan 18, 2018 by Ralf Jung A-docs C-enhancement T-proofmode
- 7
updated Sep 29, 2020
Document language interface

#134 · opened Jan 13, 2018 by Robbert A-docs C-enhancement T-program_logic
- 3
updated Nov 01, 2019
Document variable naming conventions 2 of 4 tasks completed

#16 · opened Mar 22, 2016 by Ralf Jung A-docs C-enhancement T-style
- 3
updated Nov 01, 2019