Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/lean4: update 4.5.0-rc1 → 4.5.0 | Yuri Victorovich | 2024-02-01 | 1 | -2/+1 |
* | math/lean4: Broken on i386 | Yuri Victorovich | 2024-01-19 | 1 | -0/+2 |
* | math/lean4: Remove std library: it will be in its own port | Yuri Victorovich | 2024-01-16 | 1 | -12/+1 |
* | math/lean4: Add Std4 library | Yuri Victorovich | 2024-01-15 | 1 | -0/+12 |
* | math/lean4: New port: Theorem prover and functional language for math (new gen) | Yuri Victorovich | 2024-01-14 | 1 | -0/+40 |