5","static/chunks/5405-4135bebeba5601b1.js","9321","static/chunks/9321-13ca570b2325758f.js","9543","static/chunks/9543-2d8b7bcfd7307e82.js","8679","static/chunks/8679-9bf73ec58b14eaa9.js","7420","static/chunks/app/(product)/%5Blang%5D/%5Bbucket%5D/%5B...title%5D/page-0f1c703f22ee51e8.js"],"default"] 4f:I[98567,["8173","static/chunks/8173-ded0155fecbcc4f0.js","9363","static/chunks/9363-e94b65482acc91fb.js","2623","static/chunks/2623-3c82bddfcccb14b3.js","6977","static/chunks/6977-d6f216466e3bc67b.js","3404","static/chunks/3404-ce93a50f578843da.js","504","static/chunks/504-57a2c99dd58f2eac.js","1700","static/chunks/1700-2e3262314b3fc369.js","5405","static/chunks/5405-4135bebeba5601b1.js","9321","static/chunks/9321-13ca570b2325758f.js","9543","static/chunks/9543-2d8b7bcfd7307e82.js","8679","static/chunks/8679-9bf73ec58b14eaa9.js","7420","static/chunks/app/(product)/%5Blang%5D/%5Bbucket%5D/%5B...title%5D/page-0f1c703f22ee51e8.js"],"default"] 46:T5a5,

LEGO is a proof assistant developed by Randy Pollack at the University of Edinburgh. It implements several type theories: the Edinburgh Logical Framework (LF), the Calculus of Constructions (CoC), the Generalized Calculus of Constructions (GCC) and the

References

External links