sielenk/coq-playground

Issues

• Add CatAx transport via faithful functor.

  #3 opened 6 years ago by sielenk
  0

• Revert one and two to predefined types.

  #2 opened 6 years ago by sielenk
  0

• Unicode in the source files.

  #1 opened 6 years ago by sielenk
  0