search

FKlie / Predicata

GAP package Predicata: Deciding Presburger arithmetic using automata theory
http://www.algebra.uni-linz.ac.at/~kliemann/Predicata/
GNU General Public License v3.0
0 stars 1 forks source link

Convert README to markdown #5

Open olexandr-konovalov opened 5 years ago

olexandr-konovalov commented 5 years ago

I suggest to rename README to README.md and update formatting to follow Markdown rules so it will be rendered nicely on GitHub (e.g. like https://github.com/gap-packages/example) and later will display badges for continuous integration tools (after we will set them up).

FKlie commented 5 years ago

Changed it to Markdown. I might update/adjust the README.md file later (website, etc...).

fingolfin commented 5 years ago

Then perhaps close this? :-)