AlgebraicJulia / AlgebraicJulia/GATlab.jl
Serialization of theories, expressions, and contexts
Offen
good first issue
- Vorherrschende Sprache
- Julia
- Sterne
- 43
- Forks
- 4
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
Gatlab has been built from the ground up so that everything can be in theory serialized.
We should actually unlock this potential, by writing serialization to and from JSON for Theories, Trms, Contexts, and ContextMaps.
We should also product JSONSchema for each of these, and then basic libraries in python and javascript for interacting with these.
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.