WojciechKarpiel's repositories
cosine-similarity
Veryfying similarity of strings and text files on scale [0.0-1.0]
projekt-na-gg-czw-0800
Projekt na Gramatyki Grafowe, grupa czwartek 8.00
bloatkill
Zabójca programów które zajmują za dużo pamięci
book
A textbook on informal homotopy type theory
cayley-dickson
Repl for calculations on numbers constructed by Caley-Dickson's method
ciag-Q-do-N
Dowód, że każdy skończony ciąg liczb wymiernych da się zakodować jedną liczbą naturalną
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
jhou
Higher-order unification library for JVM
lean4
Lean 4 programming language and theorem prover
math-comp
Mathematical Components
mcb
Mathematical Components (the Book)
pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
shelm
SBT Helm plugin
sieciowy-kot
Implementacja Netcata w Raście
stream-demo
Spring Cloud Stream pipeline demo
swarm-intelligence-demo
Demonstration of swarm intelligence algorithms
szeregowicz
Wykona współbieżnie co się da!
wiezniowie
Rozwiązanie i dowód formalny poprawności rozwiązania zagadki o więźniach
wygryw
Game Theory lemmas
zfc
Obczajam nowe możliwości Javy implementując aksjomaty ZFC