Interface with Isabelle/HOL for classical mathematics formalization
46:I[156109,["/_next/static/chunks/1ea676ef2e44e1bd.js","/_next/static/chunks/5b821743283aedd8.js","/_next/static/chunks/5ca7a7a859273205.js","/_next/static/chunks/1515af12cffe874c.js","/_next/static/chunks/f40f713cc4a76f60.js","/_next/static/chunks/61c198908f15805a.js","/_next/static/chunks/ba0e06e0e59299fb.js","/_next/static/chunks/c8d5f0213c0a85d1.js","/_next/static/chunks/04fd90a36a4ade2e.js","/_next/static/chunks/b28f35b30f054e8a.js","/_next/static/chunks/97641e22047db16a.js","/_next/static/chunks/5c2fc0019a205c61.js","/_next/static/chunks/bca103c026bd81a3.js"],"SkillRelatedList"]