lean: Bonds to Lean theorem prover

[ bsd3, library, math ] [ Propose Tags ]

[Skip to Readme]
Versions [faq] 0.0.0.1
Dependencies base (>=4.7 && <5), base-unicode-symbols, text-utf8, transformers, util [details]
License BSD-3-Clause
Copyright 2019 M Farkas-Dyck
Author M Farkas-Dyck
Maintainer strake888@gmail.com
Category Math
Source repo head: git clone https://github.com/strake/lean.hs
Uploaded by MatthewFarkasDyck at Wed May 15 17:42:53 UTC 2019
Distributions NixOS:0.0.0.1
Downloads 65 total (17 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2019-05-15 [all 3 reports]

Modules

  • Lean
    • Lean.Exception
    • Lean.Expr
    • Lean.Name
    • Raw
      • C
        • Lean.Raw.C.Decl
          • Lean.Raw.C.Decl.Cert
        • Lean.Raw.C.Env
        • Lean.Raw.C.Exception
        • Lean.Raw.C.Expr
        • Lean.Raw.C.Name
        • Lean.Raw.C.Univ
    • Lean.Univ

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for lean-0.0.0.1

[back to package description]

lean