lean-forward / logical_verification_2024

The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

Date Created 2024-02-06 (about a year ago)
Commits 13 (last one 10 months ago)
Stargazers 51 (0 this week)
Watchers 3 (0 this week)
Forks 8
License unknown
Ranking

RepositoryStats indexes 616,861 repositories, of these lean-forward/logical_verification_2024 is ranked #475,405 (23rd percentile) for total stargazers, and #433,549 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #90/131.

Star History

Github stargazers over time

60605050404030302020101000Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Watcher History

Github watchers over time, collection started in '23

3333222222111115 Oct15 OctNov '24Nov '2415 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 Feb

Recent Commit History

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

1414121210108866442200Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Yearly Commits

Commits to the default branch (main) per year

141412121010886644220020242024

Issue History

No issues have been posted

Languages

The only known language in this repository is Lean

LeanLean

updated: 2025-02-15 @ 04:32pm, id: 753512030 / R_kgDOLOmuXg