lambdamikel/GenEd
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
Common LispGPL-3.0
Stargazers
- aanastasiouCardiff - Wales
- amno1
- carnotweatcarnot
- DavidAlphaFoxTongjiu Internet Technology
- dmanty45Massachusetts
- ebigram
- EntraptaJKitchener
- fstamourOttawa
- jbkcc
- jolbyEvocomputing, Inc.
- joozikKraków
- kap4102
- lispstudentFrance
- maxzGermany
- monkpearmanWest Philadelphia
- reginallunaYork University
- RetainCountZeroCrimsonMagic.Net
- X3NoMoRPHSpain