Ceptre Tutorial(2021) : Chris Martensurl: https://github.com/chrisamaphone/interactive-lp#ceptre #linear_logic #logic_programming #tutorial#my_bibtex
#ceptre #linear_logic #logic_programming #tutorial #my_bibtex