Larry Darryl Lee Jr.

icon indicating a website link https://larrylee.tech icon indicating an email [email protected]

icon location Baltimore, MD icon location Welcome to my GitHub page! Here you will find a collection of my personal projects and links to some of my professional work. https://orcid.org/0000-0002-712

Results 1 repositories owned by Larry Darryl Lee Jr.

functional-algebra

28
Stars
2
Forks
Watchers

This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both a...

verified publisher icon llee454