6️⃣
god
college student
developer designer
@not-byte @exotia-net
- Gliwice, Poland
-
20:03
(UTC +02:00) - botprzemek.pl
- in/botprzemek
Highlights
Stars
1
star
written in Coq
Clear filter
A formalization of information-preserving refinement (IPR) in the Coq Proof Assistant 🧩