Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

34.98 EUR 16% Off 41.50 EUR

Marke: Boro Sitnikovski

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-16%

Gesponsert Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

34.98 EUR 41.50 EUR

14-08-2026 11:05:15

Access to the deal

41.50 EUR 41.50 EUR

14-08-2026 22:48:18

Access to the deal