XiaohuWang0921

Pinned Repositories

agda-hott
Formalisation of HoTT in standard Agda
Language:Agda0 1 00
agda-stdlib
The Agda standard library
Language:Agda00
bf-interp-c
Language:C00
cubical
An experimental library for Cubical Agda
Language:Agda0 0 00
johnstone
Language:Coq1 1 00
logo
My personal logo
0 1 00
logtalk-xpce
Language:Logtalk0 0 01
mercury-json
Language:Mercury00

XiaohuWang0921's Repositories

XiaohuWang0921/johnstone
Language:Coq1 1 00
XiaohuWang0921/agda-hott
Formalisation of HoTT in standard Agda
Language:Agda0 1 00
XiaohuWang0921/agda-stdlib
The Agda standard library
Language:Agda00
XiaohuWang0921/bf-interp-c
Language:C00
XiaohuWang0921/cubical
An experimental library for Cubical Agda
Language:Agda0 0 00
XiaohuWang0921/logo
My personal logo
0 1 00
XiaohuWang0921/logtalk-xpce
Language:Logtalk0 0 01
XiaohuWang0921/mercury-json
Language:Mercury00