Pinned Repositories
csvrelgen
Tool for creating complex relationships between concepts
e_trans
The Number e is Transcendental
edu_aspekty
Aspekty
edu_bingo
Bingo
edu_formuly_logiczne
Formuly logiczne z obliczaniem wartosci
edu_grafy_2024
Grafy
esx_files
ESX files for Mizar articles
esx_verify
Tool for checking semantics correctness
generator_testow
Generator Testow
mizar_esx_app
Java classes for processing Mizar ESX files
arturkornilowicz's Repositories
arturkornilowicz/esx_files
ESX files for Mizar articles
arturkornilowicz/csvrelgen
Tool for creating complex relationships between concepts
arturkornilowicz/esx_verify
Tool for checking semantics correctness
arturkornilowicz/generator_testow
Generator Testow
arturkornilowicz/mizar_esx_app
Java classes for processing Mizar ESX files
arturkornilowicz/e_trans
The Number e is Transcendental
arturkornilowicz/edu_aspekty
Aspekty
arturkornilowicz/edu_bingo
Bingo
arturkornilowicz/edu_formuly_logiczne
Formuly logiczne z obliczaniem wartosci
arturkornilowicz/edu_grafy_2024
Grafy
arturkornilowicz/edu_iloczynskalarny
Iloczyn skalarny liczb dowolnego typu
arturkornilowicz/edu_LosowaniePar2n
Losowanie par play-off
arturkornilowicz/edu_latex_zadania
Zadania na laboratorium z LaTeXa
arturkornilowicz/esx_processor
arturkornilowicz/formalized_mathematics
Formalized Mathematics based on Mizar ESX files
arturkornilowicz/formuly_logiczne
Koniunkcyjno-negacyjne postac
arturkornilowicz/mizar_definitions
A Mizar article with all possible kinds of definitions
arturkornilowicz/mizar_tix_app
Java classes for processing Mizar TIX files
arturkornilowicz/mizar_variables_processor
Processing variables in Mizar articles
arturkornilowicz/mml2lambdapi
Translation of the Mizar Mathematical Library to LambdaPI
arturkornilowicz/refleksja
Przykład generowania testów na podstawie anotacji. Wynik jest wyświetlany na ekranie.
arturkornilowicz/typy_sparametryzowane1
Iloczyn skalarny z parametrem
arturkornilowicz/unfolding
arturkornilowicz/vocabularies
arturkornilowicz/xml_names
Lists of elements and attributes of .esx files.