Rename README to README.md

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax

https://abella-prover.org/

GNU General Public License v3.0

90 stars 18 forks source link

Closed amerikan closed 6 years ago

amerikan commented 6 years ago

Rename README to README.md for markdown styling to take effect in the readme.