❤
npm
Sign UpSign In

joneugster

Packages 3

  • lean4monaco

    Monaco Editor support for the Lean 4 theorem prover.

    abentkamp
    published version 1.1.3, 2 months ago

  • @joneugster/infoview-api

    Types and API for @joneugster/infoview.

    joneugster
    published version 0.6.1, 5 months ago

  • @joneugster/infoview

    An interactive display for the Lean 4 theorem prover.

    joneugster
    published version 0.8.4, 5 months ago