RedPRL / agda-mugen

A formalization of the theory behind the mugen library

RedPRL/agda-mugen Stargazers

Rodrigo Mesquita
alt-romes
Anqur
anqurvanillapy
Roman Hossain Shaon
AppServiceProvider
Brendan Zabarauskas
brendanzab
Carlo Angiuli
cangiuli
april
cyberglot
SoonWon Moon
damhiya
Lîm Tsú-thuàn
dannypsnl
favonia
favonia
Tesla Zhang‮
ice1000
Shengyi Jiang
jiangsy
Jon Sterling
jonsterling
Liang-Ting Chen
L-TChen
Tim Kersey
tkersey
VitalyR
VitalyAnkh

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.