A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.
Price history
▲24.98%
Nov 12, 2022
€48.87
▲4.76%
May 12, 2022
€39.10
▲14.69%
Jan 27, 2022
€37.33
▼-0.05%
Jan 26, 2022
€32.55
▼-0.33%
Jan 24, 2022
€32.56
▲0.3%
Jan 17, 2022
€32.67
▲0.11%
Jan 11, 2022
€32.57
▼-1.21%
Jan 10, 2022
€32.54
▲0.52%
Jan 4, 2022
€32.94
▲1.49%
Dec 28, 2021
€32.77