Skip to content
View ickobombata's full-sized avatar
3 followers · 1 following

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report ickobombata

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

  1. Anton94/modal_logic_formula_prover Anton94/modal_logic_formula_prover Public

    TODO: Master degree project for prooving/disprooving formulas (space and probability)

    C++ 1

  2. MPI MPI Public

    Mpi tasks done in the University of Wuppertal, Germany

    C

  3. Transducer Transducer Public

    This is a FMI project for automata theory over finite objects.

    C++

  4. Computational-Model-of-lambda-calculus Computational-Model-of-lambda-calculus Public

    Definitions, Lemmas, Theorems and Proofs for the Computational Model of lambda calculus.

    TeX

  5. DS DS Public

    Data structures, course at FMI

    C++

  6. OOP OOP Public

    Object oriented programming, course at FMI

    C++