From 8cd674661d3d9bc13005466c5c5e305ab8900199 Mon Sep 17 00:00:00 2001 From: Marcus Zibrowius Date: Wed, 29 Mar 2023 11:51:34 +0200 Subject: [PATCH] link to project website on front page --- server/adam/Adam.lean | 1 + 1 file changed, 1 insertion(+) diff --git a/server/adam/Adam.lean b/server/adam/Adam.lean index 2f5351d..32259cb 100644 --- a/server/adam/Adam.lean +++ b/server/adam/Adam.lean @@ -23,6 +23,7 @@ Game "Adam" Title "Lean 4 game" Introduction " +[This is a prototpye of a gamified introduction to the interactive proof assistent Lean, developed within the project [ADAM: Anticipating the Digital Age of Mathematics](https://hhu-adam.github.io/). The project is based at Heinrich Heine University Düsseldorf and funded by Stiftung Innovation in der Hochschullehre.] " Conclusion