Revision ad46491be091e941cc7489d8ef77110abdcfffb8 authored by Johan Commelin on 27 June 2020, 09:48:47 UTC, committed by Johan Commelin on 27 June 2020, 09:48:47 UTC
1 parent 23c2b19
doc.md
# Documentation style
**This page has moved to the
[leanprover-community website](https://leanprover-community.github.io/contribute/doc.html).**
Computing file changes ...