GitHub repository: BenjaminCB/cbpv-to-pi-coq
Primary language: Coq
Created: 2025-03-23T17:27:57Z
Description: Encoding call-by-push-value to the pi-calculus in coq