lakatos

There are 0 repository under lakatos topic.

• dshea89 / HRLPlus

  Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.

  theorem-provingtheorem-provermathematical-logictheorem-generatortheorem-generationlakatoslakatos-methodshrl
  Language:Java 5

• FUSAKLA / slash-milujipraci

  Slash command for Slack/Mattermost to post punch lines from http://milujipraci.cz

  slackmattermostslash-commandsczech-languagelakatos
  Language:Go 5