leanprover/library_dev

Name: library_dev

Owner: Lean

Description: Lean standard library (development)

Created: 2016-08-24 01:00:54.0

Updated: 2017-07-31 09:43:32.0

Pushed: 2017-12-15 12:42:19.0

Homepage: null

Size: 713

Language: null

GitHub Committers

UserMost Recent Commit# Commits

Other Committers

UserEmailMost Recent Commit# Commits

README

library_dev

Build Status

Experimental Lean library (development)

See also mathlib.

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.