GitHub - weakmemory/hahnExt: An extension to the Hahn library with extra definition and lemmas about sets and relations. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.nix		.nix
src		src
.gitignore		.gitignore
Makefile		Makefile
default.nix		default.nix

About

An extension to the Hahn library with extra definition and lemmas about sets and relations.

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages