GitHub repos by ymherklotz
2 public repos by ymherklotz in the catalog, most starred first.
- ymherklotz/verismithStars: 125HaskellPrototype
- ymherklotz/vericertStars: 101Rocq ProverPrototype
2 public repos by ymherklotz in the catalog, most starred first.