GitHub repository: 101001000/ASL
Primary language: Coq
Created: 2023-01-10T10:54:17Z
Description: Abstract Shading Language. A formally specified intermediate shading language