JavaScript
0
0
No license
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies of 4zzz/isolate-css
Leaner CSS
yargs the modern, pirate-themed, successor to optimist.
Support the repos that depend on 4zzz/isolate-css
In this repository is maintained the code to my bachelor thesis. A live version is available at https://fmfi-uk-1-ain-412.github.io/tableauEditor/ .
Tento repozitár obsahuje zdrojové súbory aplikácie Prieskumník štruktúr, ktorá umožňuje vytvárať a upravovať štruktúry pre jazyky logiky prvého rádu a skúmať pravdivosť formúl a hodnoty termov v nich.
An interactive editor of first-order resolution proofs, intended to be used as a teaching tool. Web-based, client-only, available for use at https://fmfi-uk-1-ain-412.github.io/resolution-editor/.
Top contributors
4zzz
14 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet