max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: indentation

Browse source
This commit is contained in:
Leonardo de Moura 2022-06-29 16:45:59 -07:00
parent 467ac9d98a
commit f6b6b36f47
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
RELEASES.md
View file

@ -212,7 +212,7 @@ Unreleased
| true => isTrue (_ : n = m)
| false => isFalse (_ : ¬n = m)
-/
```
```
* `exists` tactic is now takes a comma separated list of terms.