Jump to:

home
/ projects
/ f0verifier

F0Verifier

Projects | 2020 | Links: GitHub

A program that verifies propositional logic proofs in the F0 proof system

About

Computer Science student & backend developer

Social:

GitHub
Email
Telegram
LinkedIn
Instagram

Other Projects

NumPat

Number pattern research tool Continue reading NumPat

FLAI

Neural network that predicts apartment prices Continue reading FLAI

Copyright © 2019 — 2023 Alexander Mayorov. All rights reserved.

ZeroBone

I am a computer science student and a backend developer

Navigation:

Blog
Projects
CV

Social:

GitHub
Email
Telegram
LinkedIn
Instagram

Templates (for web app):