Wojciech Karpiel WojciechKarpiel
jhou
0 0

Higher-order unification library for JVM

Updated 7 months ago

wygryw
0 0

Game Theory lemmas

Updated 8 months ago

tableaux
0 0

Updated 1 year ago

zfc
0 0

Updated 1 year ago

elf13
0 0

Czy da się być elfem w 1/13

Updated 2 years ago

Dowód, że każdy skończony ciąg liczb wymiernych da się zakodować jedną liczbą naturalną

Updated 2 years ago

Rozwiązanie i dowód formalny poprawności rozwiązania zagadki o więźniach

Updated 3 years ago

https://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm w Hakelu, dla zabawy

Updated 3 years ago

Jagna
0 0

Bawię się Ocamlem. Na razie parsowanie s-wyrażeń z miejscami w kodzie źródłowym i wsparciem na utf8 bez zewnętrznych bibliotek, może jak nie zapomnę o tym to jakąś teoryjkę typów sieknę, na razie idę spać dobranoc

Updated 4 years ago

Przemebra
0 0

Praca magisterska "Konstruktywne podejście do algebry na przykładzie teorii ciał w programowaniu funkcyjnym z typami zależnymi"

Updated 5 years ago

http://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm w Ruście dla zabawy

Updated 5 years ago

Sprawdzacz dowodów w teori Typów Per Martin-Löf 'a

Updated 6 years ago