The following project should define a PDA that in its turn would recognize a specific context-free language.
-
Updated
Jun 2, 2024 - Python
#
proofs
Here are 7 public repositories matching this topic...
The following example is meant to demonstrate how a Deterministic Finite Automata(DFA) algorithm is supposed to guide identify whether a string is an email adress ending with .gov or .gr
-
Updated
Jul 2, 2024 - Python
AI supporting the Langlands Program
-
Updated
Jun 12, 2025 - Python
Math Mindscape dives into core discrete math concepts like logic, proofs, set theory, functions, relations, combinatorics, graph theory, and related algorithms. Each topic includes clean Python code and examples to reinforce understanding through practice. It’s a go-to repo for revision, self-study, and building strong fundamentals in CS
-
Updated
May 15, 2025 - Python
Miscellaneous voting method scripts
python voting ampl linear-programming proofs condorcet mixed-integer-programming proportional-representation
-
Updated
Jul 8, 2024 - Python
generates a truth table from a boolean expression
-
Updated
Apr 9, 2018 - Python
Improve this page
Add a description, image, and links to the proofs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proofs topic, visit your repo's landing page and select "manage topics."