Skip to content

finish the proof of eqn (#19) #142

finish the proof of eqn (#19)

finish the proof of eqn (#19) #142

build (lambdapi.2.4.0)

succeeded Nov 17, 2024 in 6m 56s