GitHub repository: maggesi/plar-elpi
Primary language: Dockerfile
Created: 2020-04-07T20:32:54Z
Description: Practical Logic and Automated Reasoning in Elpi