Skip to main content
For our services, email us at
contact@formal.land
💌 !
Formal Land
🛡️ Audit Reports
🛠️ Tools
👥 Company
📃 Blog
🤓 Learn
GitHub
GitLab
Tags
4
4.14
1
A
Aleph-Zero
3
alloc
1
audit
1
C
circuits
2
Coq
25
coq-of-go
1
coq-of-hs
1
coq-of-ocaml
6
coq-of-python
3
coq-of-rust
13
coq-tezos-of-ocaml
1
core
1
D
data-encoding
1
E
effects
1
elliptic curves
2
ERC-20
1
Ethereum
3
example
1
F
first principles
1
formal verification
7
G
Go
1
H
Haskell
1
HIR
1
I
ink!
1
interactive theorem proving
1
L
loops
1
M
meetup
1
mi-cho-coq
1
monad
5
Move
2
mutations
1
N
Noir
2
O
ocaml
1
OCaml
1
P
Python
4
R
Rust
19
S
security
1
side effects
1
simulation
1
smart contract
3
software correctness
1
Solidity
10
Sui
4
T
Tezos
4
THIR
1
trace
1
trait
2
translation
10
type-checker
2
TypeScript
1
W
Welcome
1
Y
Yul
7