Beast code in Giters

Anton Kovsharov's repositories

Language:Lean7 10

Homeworks during study in University ITMO

Language:Java3 10

ITMO University Team Book for ACM ICPC 2016

Language:C++2 20

Language:C++1 10

Tool for data extraction and interacting with Lean programmatically.

Language:PythonMIT100

Language:RubyMIT010

presentation and paper of bachelor thesis

Language:TeX010

Language:Java020

Language:TeX010

Language:Java030

Retrieval-Augmented Theorem Provers for Lean

Language:PythonMIT000

Language:Lean010