GitHub repository: logsem/iriswasm
Primary language: Coq
Created: 2024-09-18T11:33:25Z
Description: IrisWasm program logic and logical relation for WebAssembly