Sign in
Join now
rocq
obscurejam.es
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
rocq
/
proof.v
63 B
·
4 lines
at
main
Blame
Download
Open raw file
obscurejam.es
·
test(language): add rocq fixture
·
1d ago
4106408d
1
2
3
4
5
Theorem identity (n : nat) : n
=
n.
Proof.
reflexivity.
Qed.
