From 4edf67f0d61287ab49922fbe52a1063178dad79e Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Sat, 9 Dec 2023 23:37:59 +0100 Subject: [PATCH] Update README.md --- README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index d7cfcc4d..ceff3750 100644 --- a/README.md +++ b/README.md @@ -42,7 +42,8 @@ Providing the use access to a Lean instance running on the server is a severe se ## Credits -The project is based on ideas from the [Lean Game Maker](https://github.com/mpedramfar/Lean-game-maker) and the [Natural Number Game +The project has pimarily been developed by Alexander Bentkamp and Jon Eugster. + +It is based on ideas from the [Lean Game Maker](https://github.com/mpedramfar/Lean-game-maker) and the [Natural Number Game (NNG)](https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/) -by Kevin Buzzard and Mohammad Pedramfar. -The project is based on Patrick Massot's prototype: [NNG4](https://github.com/PatrickMassot/NNG4). +by Kevin Buzzard and Mohammad Pedramfar, and on Patrick Massot's prototype: [NNG4](https://github.com/PatrickMassot/NNG4).