ImperialCollegeLondon / natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
Apache License 2.0
292 stars 73 forks source link

it's hard to find this repository #60

Closed robx closed 4 years ago

robx commented 4 years ago

I stumbled upon the natural number game recently. It would be great if the homepage had an explicit direct link here. I did eventually find it via the changelog link, but not after searching through https://xenaproject.wordpress.com/.

Suggesting to

kbuzzard commented 4 years ago

OK, will fix :-)

kbuzzard commented 4 years ago

Add link to FAQ in Xena useful links when FAQ goes live

kbuzzard commented 4 years ago

added