IABSD.fr/ports/math/lean

Branch : - branch - master - tag -

• Show log

  Commit

• Author : tb
  Date : 2021-08-16 20:19:23
  Hash : 6b6f6db4
  Message : import math/lean, ok sthen Lean is an open source theorem prover and programming language. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs.

• Files
• Makefile
• distinfo
• patches
• pkg