]> git.vouivredigital.com Git - vouivre.git/log
projects / vouivre.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next ⋅ patches
vouivre.git
12 months agoAdd license
commit | commitdiff | tree
admin [Wed, 30 Aug 2023 14:13:16 +0000 (23:13 +0900)]
Add license

Dependent type infrastructure for machine learning.