Jumaruba / LPL-solutions

Solutions for the book "Language Proof and Logic".

Jumaruba
Jumaruba
Date Created 2018-10-05 (6 years ago)
Commits 167 (last one 7 months ago)
Stargazers 75 (0 this week)
Watchers 5 (0 this week)
Forks 155
License mit
Ranking

RepositoryStats indexes 631,885 repositories, of these Jumaruba/LPL-solutions is ranked #372,985 (41st percentile) for total stargazers, and #323,697 for total watchers.

Other Information

Jumaruba/LPL-solutions has Github issues enabled, there are 9 open issues and 9 closed issues.

Star History

Github stargazers over time

808070706060505040403030202010100020192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

6666665.55.555555520232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

45 commits on the default branch (master) since jan '22

454540403535303025252020151510105500Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

8080707060605050404030302020101000201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
181816161414121210108866442200202020202021202120222022202320232024202420252025

Languages

We don't have any language data for this repository

It's a mystery

updated: 2025-03-13 @ 01:48pm, id: 151787745 / R_kgDOCQwY4Q