RandomStuff

This repository contains random stuff that I have written. For example libraries, proved systems, and programs.

Folder Structure

maude: Contains maude specifications and proofs

C_C++: Contains programs and libraries written in C or C++

Coq: Contains projects, proofs, and specifications done in Coq

rltool: http://maude.cs.illinois.edu/tools/rltool/
Maude: http://maude.cs.illinois.edu/

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
C_C++		C_C++
Coq		Coq
maude		maude
README.md		README.md