leanprover-community / ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

leanprover-community
leanprover-community
Date Created 2022-11-15 (2 years ago)
Commits 377 (last one 2 days ago)
Stargazers 126 (0 this week)
Watchers 8 (0 this week)
Forks 32
License apache-2.0
Ranking

RepositoryStats indexes 622,749 repositories, of these leanprover-community/ProofWidgets4 is ranked #258,905 (58th percentile) for total stargazers, and #249,744 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #31/133.

leanprover-community/ProofWidgets4 is also tagged with popular topics, for these it's ranked: visualization (#941/1635)

Other Information

leanprover-community/ProofWidgets4 has Github issues enabled, there are 14 open issues and 10 closed issues.

There have been 81 releases, the latest one was published on 2025-03-03 (2 days ago) with the name v0.0.53.

All Topics
lean lean4 visualization

Star History

Github stargazers over time

14014012012010010080806060404020200020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

887.57.5776.56.5665.55.555Jun '23Jun '23Jul '23Jul '23Aug '23Aug '23Sep '23Sep '23Oct '23Oct '23Nov '23Nov '23Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25

Recent Commit History

377 commits on the default branch (main) since jan '22

40040035035030030025025020020015015010010050500020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (main) per year

1601601401401201201001008080606040402020002022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
25252020151510105500May '23May '23Jul '23Jul '23Aug '23Aug '23Sep '23Sep '23Oct '23Oct '23Nov '23Nov '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '2420252025Feb '25Feb '25

Languages

The primary language is Lean but there's also others...

LeanLeanTypeScriptTypeScriptTeXTeXJavaScriptJavaScriptASLASL

updated: 2025-03-04 @ 11:04pm, id: 566256168 / R_kgDOIcBiKA