Boris Shminke (@inpefess)
github

inpefess

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

gym-saturation

a collection of Gymnasium environments for saturation provers
TeX
17
star
2

isabelle-client

A client for Isabelle server (https://isabelle.in.tum.de)
TeX
9
star
3

neural-semigroups

Neural Networks for Semigroups
Python
8
star
4

ast2vec

Jupyter Notebook
5
star
5

recommender-systems-course

Python
3
star
6

ray-prover

Generic saturation prover using Ray RLlib
Python
1
star
7

basic-rl-prover

An example of reinforcement learning based saturation prover
TeX
1
star
8

tptp-lark-parser

A TPTP parser using Lark
Python
1
star
9

practical-logic-handbook

Some code inspired by "Handbook of Practical Logic and Automated Reasoning" by John Harrison
Scala
1
star
10

residuated-binars

Useful scripts for finding finite counter-examples of residuated binars with different additional properties
Isabelle
1
star