Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | 3 | -941/+2 |
* | math/lean4: Add Std4 library | Yuri Victorovich | 2024-01-15 | 3 | -1/+941 |
* | math/lean4: New port: Theorem prover and functional language for math (new gen) | Yuri Victorovich | 2024-01-14 | 11 | -0/+2442 |