philzook58 / knuckledragger

A Low Barrier Proof Assistant

Date Created 2022-11-08 (2 years ago)

Commits 174 (last one 2 days ago)

Stargazers 72 (0 this week)

Watchers 7 (0 this week)

Forks 3

License mit

Ranking

RepositoryStats indexes 609,392 repositories, of these philzook58/knuckledragger is ranked #373,976 (39th percentile) for total stargazers, and #272,888 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #71,245/122,942.

philzook58/knuckledragger is also tagged with popular topics, for these it's ranked: python (#15,633/22740)

Other Information

Homepage URL: https://www.kdrag.com

All Topics

logic python proof-assistant theorem-proving

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

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

Yearly Commits

Commits to the default branch (main) per year

Issue History

No issues have been posted

Languages

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

Opengraph Image

updated: 2025-01-31 @ 12:43pm, id: 563586980 / R_kgDOIZenpA