GitHub - panic-coursework/fakeequiv: MIGRATED: https://codeberg.org/panic-coursework/fakeequiv

This repository was archived by the owner on May 15, 2023. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
SemanticEquivalence		SemanticEquivalence
SetsClass		SetsClass
compcert/lib		compcert/lib
.editorconfig		.editorconfig
.gitignore		.gitignore
Makefile		Makefile
_CoqProject		_CoqProject

About

0 stars

1 watching