dwrensha / animate-lean-proofs

tool for turning Lean proofs into Blender animations

Date Created 2024-03-06 (11 months ago)
Commits 77 (last one 21 days ago)
Stargazers 60 (0 this week)
Watchers 4 (0 this week)
Forks 4
License apache-2.0
Ranking

RepositoryStats indexes 616,861 repositories, of these dwrensha/animate-lean-proofs is ranked #426,497 (31st percentile) for total stargazers, and #382,023 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #75/131.

Other Information
All Topics

Star History

Github stargazers over time

60605050404030302020101000Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Watcher History

Github watchers over time, collection started in '23

55554444443333Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Recent Commit History

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

8080707060605050404030302020101000Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Yearly Commits

Commits to the default branch (main) per year

808070706060505040403030202010100020242024

Issue History

Total Issues
Open Issues
Closed Issues
22221111110000Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Languages

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

LeanLeanPythonPython
Opengraph Image
dwrensha/animate-lean-proofs

updated: 2025-02-12 @ 05:30pm, id: 768260652 / R_kgDOLcq6LA