forge-joniko/ldc-startcoq
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
15 commits 5 branches 0 tags 2.1 MiB
Commit graph

2 commits

Author SHA1 Message Date
Alexis Gousseau
254a14a3f8 generate factories from models 2023-02-28 16:38:05 +01:00
Alexis Gousseau
95c9dd10d5 add enums 2023-02-23 10:26:11 +01:00