antonkov

GoogleLondon

Pinned Repositories

advent-of-code-2022
Language:Lean7 1 00
antonkov.github.io
Language:Ruby0 1 00
bachelor-thesis
presentation and paper of bachelor thesis
Language:TeX0 1 00
CUDA-LDPC-BER-Simulator
Language:C++1 1 00
DeliciousLangTranslator
Language:Java0 2 00
ITMOTeamBook
ITMO University Team Book for ACM ICPC 2016
Language:C++3 2 01
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python1 0 00
UniversityCourses
Homeworks during study in University ITMO
Language:Java3 1 00
geni-effect
Language:TypeScript3 2 00
paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
Language:TypeScript374 8 3410

antonkov's Repositories

antonkov/advent-of-code-2022
Language:Lean7 1 00
antonkov/ITMOTeamBook
ITMO University Team Book for ACM ICPC 2016
Language:C++3 2 01
antonkov/UniversityCourses
Homeworks during study in University ITMO
Language:Java3 1 00
antonkov/CUDA-LDPC-BER-Simulator
Language:C++1 1 00
antonkov/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python1 0 00
antonkov/antonkov.github.io
Language:Ruby0 1 00
antonkov/bachelor-thesis
presentation and paper of bachelor thesis
Language:TeX0 1 00
antonkov/DeliciousLangTranslator
Language:Java0 2 00
antonkov/master-thesis
Language:TeX0 1 00
antonkov/MeetingAssistant
Language:Java0 3 00
antonkov/proofsor
Explore what paperproof can do with vscode when not bound by extension
Language:TypeScript
antonkov/ReProver
Retrieval-Augmented Theorem Provers for Lean
Language:Python0 0
antonkov/test-extract
Language:Lean1 0