boitsov14's repositories
theorem-prover-kt
A sequent-style theorem prover for first-order logic in Kotlin
api-for-theorem-prover
Various apis for theorem-prover-kt
theorem-prover-rs
Rust rewrite of theorem-prover-kt.
web-prover
web app for theorem-prover-kt
boitsov14.github.io
my homepage
000
GAS-misskey-bot
Google Apps Script implementation of searching misskey notes for theorem-prover-kt
Language:JavaScript000
go-misskey
Misskey Go SDK
Language:GoGPL-3.0000
graalvm-static-native-image
GraalVM to build a static native image
Language:DockerfileMIT000
heroku-buildpack-texlive
This is a Heroku buildpack to setup TeX Live
Language:ShellMIT000
Language:RustMIT000
minimal-bussproofs-latex
The minimal latex image to draw a proof tree
Language:DockerfileMIT000