GitHub repository: varikvalefor/agda-truthbrary
Primary language: Agda
Created: 2023-02-02T22:18:48Z
Description: WKTT: We Know The Truth.