ijcar: minor reword
ijcar: minor reword

avigad/leanprover.github.io,leanprover/leanprover.github.io,leanprover/leanprover.github.io,avigad/leanprover.github.io,leanprover/leanprover.github.io,avigad/leanprover.github.io