Antonio De Lucreziis aziis98
1 Followers · 0 Following
Repositories Projects Packages Public Activity Starred Repositories
16
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
lean-codespace
Lean 0 0

Questa repository contiene un semplice progetto in Lean che può essere lanciato con un click su GitHub CodeSpaces

Updated 1 year ago