GitHub repository: FlorianSteinberg/rlzrs
Primary language: Coq
Description: basic realizability for Coq