Skip to content
View RaphaelBonatti's full-sized avatar
1 follower · 0 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report RaphaelBonatti

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. rubiks-cube-project rubiks-cube-project Public

    Software for converting a Rubik's cube between natural and computational representation and solving the cube step by step

    C++

  2. propositional-logic-parser-python propositional-logic-parser-python Public

    The primary purpose of this software is to parse propositional logic formulas and subsequently generate a visually formatted output as well as an image representation of the Abstract Syntax Tree (A…

    Python

  3. propositional-logic-prover-python propositional-logic-prover-python Public

    A propositional logic prover implemented using resolution refutation.

    Python

  4. propositional-logic-truth-table-generator-python propositional-logic-truth-table-generator-python Public

    This program generates a truth-table given a well-formed formula in propositional logic. The table can be printed to the terminal or saved as a HTML file.

    Python

  5. Zeavee/Run0rD1e Zeavee/Run0rD1e Public

    Java 2 2