search

leanprover-community / lean4web

The Lean 4 web editor
https://live.lean-lang.org/
Apache License 2.0
52 stars 14 forks source link

display versions #6

Closed joneugster closed 7 months ago

joneugster commented 8 months ago

reimplement a way to display the versions of lean (&mathlib) that are run on the server.

joneugster commented 7 months ago

Implemented in 1e4571e