Lean (Q6509476)

From Wikidata
Jump to navigation Jump to search
software for interactive and automated theorem proving
  • Lean prover
edit
Language Label Description Also known as
English
Lean
software for interactive and automated theorem proving
  • Lean prover

Statements

inception
2013
0 references
influenced by
Coq
0 references
Isabelle
0 references
platform
cross-platform
0 references
programmed in
C
0 references
C++
0 references
software version identifier
3.0.0
publication date
20 January 2017
version type
stable version
1 reference
title
Release 3.0.0 (English)
publication date
20 January 2017
reference URL
https://github.com/leanprover/lean/releases/tag/v3.0.0
retrieved
14 March 2018
3.1.0
publication date
26 February 2017
version type
stable version
1 reference
title
Release 3.1.0 (English)
publication date
26 February 2017
reference URL
https://github.com/leanprover/lean/releases/tag/v3.1.0
retrieved
14 March 2018
3.3.0
publication date
15 September 2017
version type
stable version
1 reference
title
Release 3.3.0 (English)
publication date
15 September 2017
reference URL
https://github.com/leanprover/lean/releases/tag/v3.3.0
retrieved
14 March 2018
3.4.0
publication date
16 April 2018
1 reference
title
Release 3.4.0 (English)
retrieved
17 April 2018
reference URL
https://github.com/leanprover/lean/releases/tag/v3.4.0
publication date
16 April 2018
3.4.1
publication date
28 April 2018
1 reference
title
Release 3.4.1 (English)
retrieved
29 April 2018
publication date
28 April 2018
reference URL
https://github.com/leanprover/lean/releases/tag/v3.4.1
3.4.2
publication date
18 January 2019
1 reference
reference URL
https://github.com/leanprover/lean/releases/tag/v3.4.2
retrieved
19 January 2019
title
Release 3.4.2 (English)
publication date
18 January 2019
4.0.0
publication date
8 September 2023
version type
stable version
1 reference
reference URL
https://github.com/leanprover/lean4/releases/tag/v4.0.0
retrieved
18 September 2023
title
Release 4.0.0 (English)
publication date
8 September 2023
4.1.0
publication date
26 September 2023
version type
stable version
1 reference
reference URL
https://github.com/leanprover/lean4/releases/tag/v4.1.0
retrieved
19 October 2023
title
Release 4.1.0 (English)
publication date
26 September 2023
4.2.0
publication date
31 October 2023
version type
stable version
1 reference
reference URL
https://github.com/leanprover/lean4/releases/tag/v4.2.0
retrieved
18 November 2023
title
Release 4.2.0 (English)
publication date
31 October 2023
4.3.0
publication date
30 November 2023
version type
stable version
1 reference
reference URL
https://github.com/leanprover/lean4/releases/tag/v4.3.0
retrieved
19 December 2023
title
Release 4.3.0 (English)
publication date
30 November 2023
4.4.0
publication date
21 December 2023
version type
stable version
1 reference
reference URL
https://github.com/leanprover/lean4/releases/tag/v4.4.0
retrieved
19 January 2024
title
Release 4.4.0 (English)
publication date
21 December 2023
4.5.0
publication date
1 February 2024
version type
stable version
1 reference
reference URL
https://github.com/leanprover/lean4/releases/tag/v4.5.0
retrieved
20 February 2024
title
Release 4.5.0 (English)
publication date
1 February 2024
4.6.0
publication date
28 February 2024
version type
stable version
1 reference
reference URL
https://github.com/leanprover/lean4/releases/tag/v4.6.0
retrieved
22 March 2024
title
Release 4.6.0 (English)
publication date
28 February 2024

Identifiers

AUR package
lean-bin
0 references
lean-git
0 references
FreeBSD port
math/lean
0 references
nLab ID
Lean
0 references
Open Hub ID
lean
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q6509476&oldid=2154161084"