The RedPRL Proof Assistant (Invited Paper).

Carlo Angiuli Evan Cavallo Kuen-Bang Hou Robert Harper Jonathan Sterling

Published in: LFMTP@FSCD (2018)

Keyphrases

invited paper
test bed
linear logic
theorem prover
neural network
data mining
artificial intelligence
website