Discover @nadezhin Open Source projects

Dmitry (@nadezhin)

nadezhin

Stars
10
Global Rank 972,962 (Top 34 %)
Followers 10
Following 4
Registered about 13 years ago
Most used languages

Common Lisp
66.7 %

Verilog 33.3 %

fdlibm-proofs

ACL2 proofs about Fdlibm in C and Java

verify-todec

Formal check of Raffaello Guilietti's paper "Rendering doubles in Java"

oberon-verification

Verification of Project Oberon with ACL2 prover