Evgenii Kotelnikov

Expert

@aztek

I write programs, prove theorems, and write programs that prove theorems

awesome-self-reference. A curated list of examples of self-reference in art, science, and technology

scala-workflow. Boilerplate-free syntax for computations with effects

atp. Haskell interface to automated theorem provers

porterstemmer. An implementation of the Porter stemming algorithm in Scala

tptp. Parser and pretty printer for the TPTP language

master-thesis. Текст дипломной работы

voogie. A verification conditions generator for Boogie programs

Solver.agda. A collection of simple verified SAT-solvers

yaclusterer. Clusterer for Yandex.Maps

craig-lyndon. A half-baked constructive proof of Craig-Lyndon interpolation theorem for propositional logic

tptp2smt. A translator from TPTP to SMT-LIB

db.js. Lightweight document-oriented database in your browser

turing-complete-iceberg. The "X is Turing-complete" Iceberg meme

atomizer. ⚛︎ Find misplaced atoms in Erlang code

views searches