Introduction - L

Stream: new members

[llllvvuu]

Hi I'm L. There are a lot of possibilities with this software that have caught my eye but I wanted to ask about one in particular. It's this interactive natural-language math exposition demo from Patrick Massot, which I found from Kevin Buzzard's talk; does anyone know if this is being built as a framework and if there is a GitHub for it / similar efforts?

[Patrick Massot]

There is not yet any public repository for it. But there will be one at some point. Kyle and I are currently very busy with other things but I hope we'll return to this soon.

[Kevin Buzzard]

@Patrick Massot note that right now I am telling people about the URL which you wrote in your IPAM talk (but qualifying that it might not always work).

[Patrick Massot]

I'll keep this page there until we have more to show.

[Yaël Dillies]

@maintainers, could someone give access to mathlib to llllvvuu? They made #8925 from a fork (this is content coming from PFR).

[Floris van Doorn]

Invite sent