Pinned Repositories
Alpha
Verification of http://vixra.org/abs/1710.0309
article_isabelle_in_zfc
docker-gtest
docker,gcc,gtest,glog
FirstOrderTheory
IndigoCS-webgl-tutorials
Git repository accompanying the WebGL tutorials featured on the IndigoCS YouTube channel.
Jech
Some theorems connected with ZFC library and Tomas Jech "Set Theory" book.
JechExercises
Isabelle Jech Exercises
VerifiedMathFoundations
Verified theorems about first-order theories.( https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf ) ***See the development branch for the most recent updates.***
YONEDA
zfc
An encoding of Zermelo-Fraenkel Set Theory in Coq
georgydunaev's Repositories
georgydunaev/Jech
Some theorems connected with ZFC library and Tomas Jech "Set Theory" book.
georgydunaev/IndigoCS-webgl-tutorials
Git repository accompanying the WebGL tutorials featured on the IndigoCS YouTube channel.
georgydunaev/VerifiedMathFoundations
Verified theorems about first-order theories.( https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf ) ***See the development branch for the most recent updates.***
georgydunaev/zfc
An encoding of Zermelo-Fraenkel Set Theory in Coq
georgydunaev/Alpha
Verification of http://vixra.org/abs/1710.0309
georgydunaev/article_isabelle_in_zfc
georgydunaev/FirstOrderTheory
georgydunaev/JechExercises
Isabelle Jech Exercises
georgydunaev/YONEDA
georgydunaev/draftarticle
georgydunaev/goedel
The Gödel-Rosser 1st incompleteness theorem
georgydunaev/HOL
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
georgydunaev/HoTT
Homotopy type theory
georgydunaev/InsertSort
georgydunaev/Isabelle_Theorems
georgydunaev/Lambek
Fragment of the Lambek calculus
georgydunaev/LATEX
style files for mathematical texts
georgydunaev/math
georgydunaev/MathLogic
georgydunaev/ModalLogic
georgydunaev/MyPure
georgydunaev/onlyonequantifier
based on IFOL.thy from Isabelle 2019
georgydunaev/problem_with_exceptions
georgydunaev/ProofTheory
I will publish verified theorems from the lectures on proof theory here.
georgydunaev/RecursionTheorem
georgydunaev/rtl8723de
Realtek RTL8723DE module for Linux
georgydunaev/TRANSLATION
georgydunaev/TRASH
this repository is for backups and for lazy updates of the most recent work
georgydunaev/useful_scripts
georgydunaev/wifi_rtl8723de
Solution for case if rtl8723de doesn't work or works but has weak signal.