https://mantasbaksys.github.io/publication-type/0/2025-04-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication-type/3/2025-04-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication-type/4/2025-04-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication/kimina-lean-server/2025-04-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication/kimina-prover-preview/2025-04-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication/kimina-prover-blog/2025-04-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication_types/2025-04-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication/2025-04-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication/balogpaper/2023-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/tag/additive-combinatorics/2023-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication-type/article-journal/2023-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication/dblp-journalscorrabs-2202-01344/2023-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/tag/formalisation-of-mathematics/2023-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/tag/graph-theory/2023-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/tag/interactive-theorem-proving/2023-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication-type/paper-conference/2023-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/tag/probabilistic-method/2023-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/tag/proof-assistant/2023-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/tags/2023-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/2022-10-24T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication-type/manuscript/2021-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/publication/baksys-2021-number/2021-01-01T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/slides/2019-02-05T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/slides/example/2019-02-05T00:00:00+00:00weeklyhttps://mantasbaksys.github.io/categories/weeklyhttps://mantasbaksys.github.io/tag/isabelle/hol/weekly