jmchapman / Big-step-Normalisation

Agda formalisations of some big-step normalization proofs

http://cs.ioc.ee/~james/BSN.html

jmchapman/Big-step-Normalisation Stargazers

Максим Сохацький
5HT
Alex Shpilkin
alexshpilkin
Paolo G. Giarrusso
Blaisorblade
Deyaaeldeen Almahallawi
deyaaeldeen
ilya-klyuchnikov
James Chapman
jmchapman
Juan Bono
juanbono
Larry Diehl
larrytheliquid
logicshan
Miëtek Bak
mietek
Zoltan Peto
PEZO19
Scott Fleischman
scott-fleischman
Sergei Romanenko
sergei-romanenko
Bay Raktar
zraffer

Links

ProductDiscover

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

Contact Site Admin: Giters.