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
€47.07
▲4.76%
May 12, 2022
€37.66
▲14.69%
Jan 27, 2022
€35.95
▼-0.05%
Jan 26, 2022
€31.34
▼-0.33%
Jan 24, 2022
€31.36
▲0.3%
Jan 17, 2022
€31.46
▲0.11%
Jan 11, 2022
€31.37
▼-1.21%
Jan 10, 2022
€31.34
▲0.52%
Jan 4, 2022
€31.72
▲1.49%
Dec 28, 2021
€31.56