jjdishere/EG

Formalizing Euclidean Geometry in Lean

LeanTeX
This is stars and forks stats for /jjdishere/EG repository. As of 12 May, 2024 this repository has 6 stars and 42 forks.

Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
lean-dojo/LeanInferLeanC++Shell27+210
rpgtex/DND-5e-LaTeX-TemplateTeXShellMakefile1.3k+1284+1
w3f/ring-vrfTeXRustOther300110
posit-conf-2023/forecastingRTeXOther100100
yegor256/camShellTeXPython12060
greebookfestclub/bookfest15TeXC++SCSS1000
neurodebian/spm12MATLABMercuryTeX680670
Szepi/cmput-654-fa23-lec-mltheoryTeXShell0000
OWASP/owasp-mastgPythonShellTeX10.7k02.2k0
pachterlab/BI-BE-CS-183-2023Jupyter NotebookTeX2060310