Number of commits found: 9
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
4.8.0 07 Jun 2024 17:01:24 |
Yuri Victorovich (yuri) |
math/lean4: update 4.7.0 → 4.8.0
Reported by: portscout |
4.7.0 06 May 2024 08:43:50 |
Yuri Victorovich (yuri) |
math/lean4: Broken on armv7
Reported by: fallout |
4.7.0 13 Apr 2024 22:31:12 |
Yuri Victorovich (yuri) |
math/lean4: update 4.6.0 → 4.7.0
Reported by: portscout |
4.6.0 27 Feb 2024 00:31:16 |
Yuri Victorovich (yuri) |
math/lean4: update 4.5.0 → 4.6.0
Reported by: portscout |
4.5.0 01 Feb 2024 17:56:05 |
Yuri Victorovich (yuri) |
math/lean4: update 4.5.0-rc1 → 4.5.0
Reported by: portscout |
4.5.0.r1_2 19 Jan 2024 13:55:31 |
Yuri Victorovich (yuri) |
math/lean4: Broken on i386
Reported by: fallout |
4.5.0.r1_2 16 Jan 2024 10:45:00 |
Yuri Victorovich (yuri) |
math/lean4: Remove std library: it will be in its own port |
4.5.0.r1_1 15 Jan 2024 21:14:01 |
Yuri Victorovich (yuri) |
math/lean4: Add Std4 library |
4.5.0.r1 14 Jan 2024 03:50:20 |
Yuri Victorovich (yuri) |
math/lean4: New port: Theorem prover and functional language for math (new gen) |
Number of commits found: 9
|