Sign in

The RedPRL Proof Assistant (Invited Paper).

Carlo AngiuliEvan CavalloKuen-Bang HouRobert HarperJonathan Sterling
Published in: LFMTP@FSCD (2018)
Keyphrases
  • invited paper
  • test bed
  • linear logic
  • theorem prover
  • neural network
  • data mining
  • artificial intelligence
  • website