Forem

# coq

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Verifying CUDA Kernels in Coq with Rust MIR (Introducing cuq)
Cover image for Verifying CUDA Kernels in Coq with Rust MIR (Introducing cuq)

Verifying CUDA Kernels in Coq with Rust MIR (Introducing cuq)

3
Comments 2
1 min read
Why use formal specification

Why use formal specification

Comments
2 min read
Proving natural numbers are infinity in Coq 🧙🏼
Cover image for Proving natural numbers are infinity in Coq 🧙🏼

Proving natural numbers are infinity in Coq 🧙🏼

10
Comments
3 min read
Adventures in AI-assisted proof generation
Cover image for Adventures in AI-assisted proof generation

Adventures in AI-assisted proof generation

1
Comments
8 min read
Rovnostní typy a negace typů

Rovnostní typy a negace typů

5
Comments
2 min read
Prolegomena k úvodu do základů závislostních typů

Prolegomena k úvodu do základů závislostních typů

6
Comments 1
3 min read
Type System & The Future of Programming Languages

Type System & The Future of Programming Languages

6
Comments
5 min read
loading...