dshea89 / HRLPlus Star 6 Code Issues Pull requests 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
FUSAKLA / slash-milujipraci Star 5 Code Issues Pull requests Slash command for Slack/Mattermost to post punch lines from http://milujipraci.cz slack slash-commands mattermost czech-language lakatos Updated Mar 7, 2023 Go
gj3447 / lakatotree Star 2 Code Issues Pull requests Discussions Deterministic, receipt-backed verdicts for AI and research programmes: pre-register, measure externally, never let agents grade themselves. python provenance reproducibility formal-verification philosophy-of-science ai-agents research-software lakatos lean4 Updated Aug 14, 2026 Python
simon-dedeo / LakatosSquare Star 0 Code Issues Pull requests A replicated experiment in adversarial, formally verified mathematical discovery formal-verification collatz-conjecture lakatos lean4 mathematical-discovery ai-for-math Updated Jul 26, 2026