#

proofs

Here are 5 public repositories matching this topic...

akayibrahim / challenge

Social Network For Competition

java challenge competition mongodb microservice rabbitmq social-network rest-api mockito springboot proofs aspect-oriented-programming unit-test artemis spring-scheduler

Updated Feb 2, 2021
Java

KokorinIlya / math_logic

Homeworks for math logic course in ITMO University

parser parsing functional-programming syntax-analysis math-logic proofs proof-generating

Updated May 3, 2018
Java

JohnItoo / StPetersbug-Core-Skills

This is a walkthrough of my solutions to exercises in CP-Core-Skills course offered by StPetersburg University, Russia.

templates greedy dynamic-programming proofs

Updated Jul 19, 2020
Java

UT1 / Project-Euler

Solutions to problems on projecteuler.net

python algorithm euler project-euler mathematics competitive-programming projecteuler recursion euler-solutions maths dynamic-programming proofs number-theory euler-puzzles-answered euler-project eulerproject

Updated Mar 24, 2022
Java

liveontologies / pinpointing-experiments

Experiments for extracting justifications from proofs.

experiments proofs description-logics pinpointing justifications

Updated Apr 11, 2018
Java

Improve this page

Add a description, image, and links to the proofs topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proofs topic, visit your repo's landing page and select "manage topics."