Proofs that x - 7 = 19 + x can be easily solved
Primary LanguageRubyGNU General Public License v3.0GPL-3.0