Pinned Repositories
MathScheme
Public repository for the MathScheme project
MMT
The MMT Language and System
CICM_2019
Deriving-Definitions
Generating Library definitions from Theory Expressions
PhD-Proposal
PhD-Thesis
Random-Stuff
Learning about different stuff
Specware
Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLisp, C, Java and Haskell.
Substitutions
Towards Understanding the categorical semantics of substitutions
ysharoda's Repositories
ysharoda/Deriving-Definitions
Generating Library definitions from Theory Expressions
ysharoda/PhD-Proposal
ysharoda/PhD-Thesis
ysharoda/CICM_2019
ysharoda/Random-Stuff
Learning about different stuff
ysharoda/Specware
Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLisp, C, Java and Haskell.
ysharoda/Substitutions
Towards Understanding the categorical semantics of substitutions