GitHub repository: preocanin/ar
Primary language: TypeScript
Created: 2017-07-06T18:31:23Z
Description: Simple proof assistant for natural deduction