Skip to content
Navigation menu
Log in
Create account
Forem
Close
#
coq
Follow
Hide
Posts
Left menu
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Why use formal specification
Georgii
Georgii
Georgii
Follow
Jan 25
Why use formal specification
#
formalmethods
#
coq
#
formalspecification
#
inference
Comments
Add Comment
2 min read
Proving natural numbers are infinity in Coq 🧙🏼
Vitor
Vitor
Vitor
Follow
Aug 18 '23
Proving natural numbers are infinity in Coq 🧙🏼
#
coq
#
math
#
computerscience
10
reactions
Comments
Add Comment
3 min read
Adventures in AI-assisted proof generation
Garrett Mills
Garrett Mills
Garrett Mills
Follow
Mar 20 '23
Adventures in AI-assisted proof generation
#
chatgpt
#
coq
#
programming
1
reaction
Comments
Add Comment
8 min read
Rovnostní typy a negace typů
Betelgeuse
Betelgeuse
Betelgeuse
Follow
Feb 23 '22
Rovnostní typy a negace typů
#
agda
#
coq
#
idris
5
reactions
Comments
Add Comment
2 min read
Prolegomena k úvodu do základů závislostních typů
Betelgeuse
Betelgeuse
Betelgeuse
Follow
Feb 21 '22
Prolegomena k úvodu do základů závislostních typů
#
agda
#
coq
#
idris
6
reactions
Comments
1
comment
3 min read
Type System & The Future of Programming Languages
Joe B. Lewis
Joe B. Lewis
Joe B. Lewis
Follow
Jan 13 '20
Type System & The Future of Programming Languages
#
typesystem
#
coq
#
haskell
#
languagedesign
6
reactions
Comments
Add Comment
5 min read
loading...
We're a blogging-forward open source social network where we learn from one another
Log in
Create account
