Lean (Q6509476)
Jump to navigation
Jump to search
software for interactive and automated theorem proving
- Lean prover
Language | Label | Description | Also known as |
---|---|---|---|
English | Lean |
software for interactive and automated theorem proving |
|
Statements
2013
0 references
Lean logo2.svg
963 × 300; 15 KB
963 × 300; 15 KB
3.0.0
20 January 2017
1 reference
Release 3.0.0 (English)
20 January 2017
14 March 2018
3.1.0
26 February 2017
1 reference
Release 3.1.0 (English)
26 February 2017
14 March 2018
3.2.0
18 June 2017
1 reference
Release 3.2.0 (English)
18 June 2017
14 March 2018
3.3.0
15 September 2017
1 reference
Release 3.3.0 (English)
15 September 2017
14 March 2018
3.4.0
16 April 2018
1 reference
Release 3.4.0 (English)
17 April 2018
16 April 2018
3.4.1
28 April 2018
1 reference
Release 3.4.1 (English)
29 April 2018
28 April 2018
3.4.2
18 January 2019
1 reference
19 January 2019
Release 3.4.2 (English)
18 January 2019
4.0.0
8 September 2023
1 reference
18 September 2023
Release 4.0.0 (English)
8 September 2023
4.1.0
26 September 2023
1 reference
19 October 2023
Release 4.1.0 (English)
26 September 2023
4.2.0
31 October 2023
1 reference
18 November 2023
Release 4.2.0 (English)
31 October 2023
4.3.0
30 November 2023
1 reference
19 December 2023
Release 4.3.0 (English)
30 November 2023
4.4.0
21 December 2023
1 reference
19 January 2024
Release 4.4.0 (English)
21 December 2023
4.5.0
1 February 2024
1 reference
20 February 2024
Release 4.5.0 (English)
1 February 2024
4.6.0
28 February 2024
1 reference
22 March 2024
Release 4.6.0 (English)
28 February 2024
4.6.1
4 March 2024
1 reference
22 March 2024
Release 4.6.1 (English)
4 March 2024
4.7.0
3 April 2024
1 reference
23 April 2024
Release 4.7.0 (English)
3 April 2024
4.8.0
5 June 2024
1 reference
22 June 2024
Release 4.8.0 (English)
5 June 2024
4.9.0
1 July 2024
1 reference
23 July 2024
Release 4.9.0 (English)
1 July 2024
4.9.1
9 July 2024
1 reference
23 July 2024
Release 4.9.1 (English)
9 July 2024
4.10.0
31 July 2024
1 reference
Release v4.10.0 · leanprover/lean4 (English)
6 August 2024
1 reference
19 November 2017
The Lean Theorem Prover (system description) (English)
0 references
Identifiers
Sitelinks
Wikipedia(12 entries)
- cswiki Lean (programovací jazyk)
- dewiki Lean (Beweisassistent)
- enwiki Lean (proof assistant)
- eswiki Lean
- fawiki لین (دستیار اثبات)
- frwiki Lean (assistant de preuve)
- jawiki Lean (証明アシスタント)
- nlwiki Lean (bewijsassistent)
- ruwiki Lean
- ukwiki Lean
- viwiki Lean (trợ lý chứng minh)
- zhwiki Lean