search

leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
198 stars 35 forks source link

Paperproof panel #131

Open analytic-bias opened 1 year ago

analytic-bias commented 1 year ago

Hi, I'm Hypatia from Zulip. I propose an integration of https://github.com/Paper-Proof/paperproof into lean4game, perhaps as a collapsible panel on the game page.

joneugster commented 1 year ago

Hi Hypatia, that's not a bad idea! Paperproof is brand new and I haven't tested it myself yet, it does look really promising on a first glance.