Slash command for Slack/Mattermost to post punch lines from http://milujipraci.cz
-
Updated
Mar 7, 2023 - Go
#
lakatos
Here are 2 public repositories matching this topic...
Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.
theorem-proving mathematical-logic theorem-prover hrl theorem-generator theorem-generation lakatos lakatos-methods
-
Updated
Aug 16, 2020 - Java
Improve this page
Add a description, image, and links to the lakatos topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lakatos topic, visit your repo's landing page and select "manage topics."