KokorinIlya / math_logic Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Homeworks for math logic course in ITMO University

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
hw3		hw3
lib		lib
src		src
Makefile		Makefile
README.md		README.md
hw1.zip		hw1.zip
input.txt		input.txt
output.txt		output.txt

Repository files navigation

math_logic

Homeworks for math logic course in ITMO University.

Tasks: https://github.com/shd/logic2018/blob/master/hw-practice.pdf

About

Homeworks for math logic course in ITMO University

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

Report repository

Releases

No releases published

Packages

No packages published

Languages