Skip to main content

Browse the archive

Revision ad46491be091e941cc7489d8ef77110abdcfffb8 authored by Johan Commelin on 27 June 2020, 09:48:47 UTC, committed by Johan Commelin on 27 June 2020, 09:48:47 UTC 
This goal looks bad
1 parent 23c2b19
Raw File
leanpkg.toml 
[package]
name = "mathlib"
version = "0.1"
lean_version = "leanprover-community/lean:3.16.5"
path = "src"

[dependencies]
back to top