GitHub repository: pmq20/t2ku-reasoner
Primary language: Ruby
Description: Sub Project 2 of T2Ku.org providing a Mizar Console with sophisticated Automated Reasoning support.