title

Privacy - Rocq Prover

charset

utf-8

description

The Rocq Discourse is meant to be a standard place to discuss questions about the Rocq Prover and related topics.

generator

Discourse 3.5.0.beta8-dev - https://github.com/discourse/discourse version af3abb54e3d9a2d69df9ebb32afb1f548f05a4ce

theme-color

#fff

og:site_name

Rocq Prover

og:type

website

og:image

https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/5/594ae4f4100bbfb124daa5506e475bf73c1738f5.png

og:url

https://discourse.rocq-prover.org/privacy

og:title

Privacy - Rocq Prover

twitter:card

summary

twitter:image

https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/5/594ae4f4100bbfb124daa5506e475bf73c1738f5.png

twitter:url

https://discourse.rocq-prover.org/privacy

twitter:title

Privacy - Rocq Prover

twitter:description

The Rocq Discourse is meant to be a standard place to discuss questions about the Rocq Prover and related topics.

lastReviewed

2019-01-02

apple-touch-icon

https://us1.discourse-cdn.com/flex001/uploads/coq/optimized/2X/2/2511efe969076c34c35dae93d9af1ab06f3d33bd_2_180x180.png

canonical

https://discourse.rocq-prover.org/privacy

icon

https://us1.discourse-cdn.com/flex001/uploads/coq/optimized/2X/7/77e7c8a8792c0834aba528ad564e0661585f90f8_2_32x32.png

search

https://discourse.rocq-prover.org/opensearch.xml

stylesheet

https://sea1.discourse-cdn.com/flex001/stylesheets/color_definitions_base__3_a00a238d9968c266a9a98ebc7d89bbba556beaba.css?__ws=discourse.rocq-prover.org