Commit graph

Select branches

Hide pull requests

main

Mono Color

• ad20702327 BadInfinities: chore redundant newline main mehbark 2025-04-08 23:05:57 -0400
• b744e862f4 BadInfinities: fix no_int_infinity mehbark 2025-04-08 22:43:43 -0400
• 59d9058103 BadInfinities mehbark 2025-04-08 22:31:48 -0400
• e6d72e3b82 not_f_eq_imp_eq mehbark 2025-04-08 22:19:21 -0400
• d914baf772 all: use standard theorem identifier scheme mehbark 2025-04-08 22:13:50 -0400
• 3f9948eaf9 FinitudeOfPropositions mehbark 2025-04-08 22:10:20 -0400
• 43b0af409b RunMEvil: simplify proofs mehbark 2025-04-08 21:57:48 -0400
• 38c00b3311 lawfulRunMEvil mehbark 2025-04-08 21:54:27 -0400
• 2573d64897 runMEvil mehbark 2025-04-08 21:49:57 -0400