leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
LeanApache-2.0
Stargazers
- 0art0IISER Pune
- adamtopaz
- alcidesLASIGE, University of Lisbon
- alexjbestKing's College London
- alreadydoneHeidelberg / Shenzhen
- antonkovGoogle
- arthur-adjedjENS Paris-Saclay
- bolluUniversity of Cambridge
- bryangingechen
- chabulhwiSemmalgil
- eokuznetsovMoscow, Russia
- fpfu
- HagbChongqing University
- hargoniXLean FRO
- huynhtrankhanh@coq-community
- iehalityTohoku University
- intsucJapan
- joewatt95
- JulianNew York, NY
- kokic@San-Angeles @the-red-pixel @csausk
- KomyyyTokyo University of Science
- lakesareTbilisi
- lecopivo
- mo271Google Research
- ModernBOHunter
- nikitavoloboevTbilisi
- ramonfmirLondon
- siddhartha-gadgilIndian Institute of Science
- SnO2WMaNチルノのパーフェクトさんすう教室
- Thimoteus
- thorimur
- tnaoiLos Angeles
- Vtec234Pittsburgh, USA
- wodeniCarnegie Mellon University
- wolverian@reaktor
- yangky11Meta Fundamental AI Research (FAIR)