GitHub repository: sv99/propositions_as_types
Created: 2024-06-04T08:16:06Z
Description: Translation to russian the Philip Wadler paper - Propositions as Types