moessner software on GitHub

Software OPEN SOURCE

Coq formalization of moessner's theorem using coinduction
Share - Bookmark