imaginary-values

There are 0 repository under imaginary-values topic.

• ClimacusJohannes / LawsOfForm

  An implementation of Spencer Brown's Laws of Form in Agda

  agdamultivalued-logicimaginary-values
  Language:Agda 2