James Caldwell (ProofsAsPrograms)

ProofsAsPrograms

Geek Repo

Company:University of Wyoming

Location:Portland, OR

Home Page:www.cs.uwyo.edu/~jlc

Github PK Tool:Github PK Tool

James Caldwell's repositories

mathlib

Lean mathematical components library

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0