GitHub repos by verse-lab
5 public repos by verse-lab in the catalog, most starred first.
- verse-lab/veilStars: 350LeanAlpha
- verse-lab/loomStars: 167LeanPrototype
- verse-lab/velvetStars: 134LeanPrototype
- verse-lab/ceramistStars: 127CoqPrototype
- verse-lab/toychainStars: 113CoqPrototype