Thinking with Propositions as Types

View Github Repository Open presentation in a new window

danclien

See all presentation from danclien

Thinking with Propositions as Types

0 0

propositions-as-types

On Github danclien / propositions-as-types