math/lean4

Maintaineryuri@FreeBSD.org
CommentTheorem prover and functional language for math (new gen)
Categoriesdevel, lang, math
Links FreshPorts upstream

Fallout list

version build environment category date (UTC) urls
4.32.1 144amd64-default build detail · log · report · build queue
4.32.1 144amd64-default build detail · log · report · build queue
4.32.1 144amd64-default build detail · log · report · build queue
4.32.0 main-amd64-default build detail · log · report · build queue
4.32.0 main-amd64-default build detail · log · report · build queue
4.32.0 main-amd64-default build detail · log · report · build queue
4.32.0 main-amd64-default build detail · log · report · build queue
4.31.0 main-amd64-default build detail · log · report · build queue
4.31.0 main-amd64-default build detail · log · report · build queue
4.31.0 main-amd64-default build detail · log · report · build queue
4.31.0 main-amd64-default build detail · log · report · build queue
4.31.0 150amd64-default build detail · log · report · build queue
4.31.0 150amd64-default build detail · log · report · build queue
4.31.0 main-amd64-default build detail · log · report · build queue
4.31.0 144amd64-default build detail · log · report · build queue
4.31.0 main-amd64-default build detail · log · report · build queue
4.31.0 150amd64-default build detail · log · report · build queue
4.31.0 143amd64-default build detail · log · report · build queue
4.31.0 main-amd64-default build detail · log · report · build queue
4.31.0 main-amd64-default build detail · log · report · build queue
4.31.0 main-amd64-default build detail · log · report · build queue
4.31.0 main-amd64-default build detail · log · report · build queue
4.30.0 main-arm64-default fetch detail · log · report · build queue
4.30.0_1 143amd64-default build detail · log · report · build queue
4.30.0 150amd64-default fetch detail · log · report · build queue
4.30.0 main-amd64-default fetch detail · log · report · build queue