search

leanprover / reference-manual

Apache License 2.0
25 stars 3 forks source link

feat: mobile reading #148

Closed david-christiansen closed 1 week ago