latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

Date Created 2015-03-04 (9 years ago)

Commits 440 (last one 11 months ago)

Stargazers 256 (0 this week)

Watchers 17 (0 this week)

Forks 13

License mit

Ranking

RepositoryStats indexes 585,332 repositories, of these latte-central/LaTTe is ranked #149,720 (74th percentile) for total stargazers, and #129,650 for total watchers. Github reports the primary language for this repository as Clojure, for repositories using this language it is ranked #456/1,533.

latte-central/LaTTe is also tagged with popular topics, for these it's ranked: clojure (#232/728), mathematics (#132/369)

Other Information

latte-central/LaTTe has Github issues enabled, there are 3 open issues and 10 closed issues.

There have been 7 releases, the latest one was published on 2021-01-06 (3 years ago) with the name v1.0 beta 9.

Homepage URL: http://latte-central.github.io/LaTTe/

All Topics

logic clojure mathematics proof-assistant

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

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

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

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

updated: 2024-10-18 @ 01:46am, id: 31682221 / R_kgDOAeNurQ