GitHub repository: robertmaxton42/Diagrammatic
Primary language: F#
Created: 2021-03-23T20:01:43Z
Description: Generalized diagrammatic CAS and proof assistant