Assertion: propositional logic | /r/CapableOf | see many applications
Facets:
value: such as extracting verified programs
type: OTHER
Source sentences:
text: Intuitionistic logic is of great interest to computer scientists, as it is a constructive logic and sees many applications, such as extracting verified programs from proofs and influencing the design of programming languages through the formulae-as-types correspondence.