petnica-rac-seminari / interaktivno_dokazivanje_teorema_2023 Public

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

Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica

1 star 4 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.docker/gitpod		.docker/gitpod
.gitignore		.gitignore
.gitpod.yml		.gitpod.yml
01-logika.lean		01-logika.lean
Idt2023.lean		Idt2023.lean
LICENSE		LICENSE
PrimeriCas.lean		PrimeriCas.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

Interaktivno dokazivanje teorema

About

Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica

theorem-proving mathlib lean4

Custom properties

Report repository

Contributors 2

Languages