lteu/lteu.github.io
another personal website
Public GitHub Catalog
Discovered Sep 28, 2026
lteu / matita
[Matita] Euclidean Theorems & System E by proof assistant Matita
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#12021809GitHub System ID
lteuOrganization / User
PublicVisibility
ActiveCatalog Status
More from lteu
lteu/site-impc
sito web per l'associazione degli imprenditori cinesi in Italia
lteu/sunny-fs
a branch of sunny project - experiments with a subset of instances filtered by feature selection algorithms
lteu/simulated_annealing_php
a php versione of simulated annealing