search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
227 stars 36 forks source link

Update README.rst #93

Open gleachkr opened 9 months ago

gleachkr commented 9 months ago

Fix some broken links

gleachkr commented 9 months ago

I noticed a few links to lean4 resources were broken in the README. This is sort of a minimal change to fix things. I didn't see the two tactics files under recipes, so I removed those links, and I didn't attempt to change any file names (one uses an underscore and another uses a dash for word-separation, which is potentially confusing, but I figured normalizing this might break references elsewhere).