Minimal elements for the base b representations of the prime numbers > b for the subsequence ordering, for 2 ≤ b ≤ 36
-
Updated
Aug 6, 2024 - C++
Minimal elements for the base b representations of the prime numbers > b for the subsequence ordering, for 2 ≤ b ≤ 36
An advanced SAT solver
madeline/Proof General: an integrated prover environment for our favourite deductive logic games.
An Android app created in 24 hours for ICHACK2020. The app allows students to scan (or import) an image of a handwritten natural deduction proof and will verify its correctness,
Project Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.
Sperocoin - Sustentabilidade em Tecnologia
Program for finding the pairing strategy for the Hypercube Tic-Tac-Toe of dimension 3 and side length 7 (7x7x7 or 7*7*7).
Implementations of several path coloring algorithms for the Boost Graph Library.
Universe Project Limited
hancoin project - the origin of the elastic masternode concept
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."