Giters
formalize

formalize

Geek Repo

5

followers

0

following

0

stars

Github PK Tool:Github PK Tool

formalize's repositories

coq-vyper

A Vyper compiler in Coq (just started)

Language:CoqLicense:Apache-2.0Stargazers:12Issues:3Issues:0

coq-evm

Hash functions used in EVM implemented in Coq.

Language:CoqLicense:Apache-2.0Stargazers:6Issues:1Issues:1

coq-yul

Formalization of Yul

Language:CoqLicense:Apache-2.0Stargazers:3Issues:2Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0