Beast code in Giters

Georgy Dunaev's repositories

Jech

Some theorems connected with ZFC library and Tomas Jech "Set Theory" book.

Language:Coq200

IndigoCS-webgl-tutorials

Git repository accompanying the WebGL tutorials featured on the IndigoCS YouTube channel.

Language:JavaScript100

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.***

Language:Coq100

zfc

An encoding of Zermelo-Fraenkel Set Theory in Coq

Language:CoqLGPL-2.1100

Alpha

Verification of http://vixra.org/abs/1710.0309

Language:Coq000

article_isabelle_in_zfc

Language:Isabelle000

FirstOrderTheory

Language:Coq010

JechExercises

Isabelle Jech Exercises

Language:Isabelle000

YONEDA

Language:TeX000

draftarticle

000

goedel

The Gödel-Rosser 1st incompleteness theorem

Language:Coq000

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.

NOASSERTION000