6 ms·
True. It is worth pointing out that Isabelle/HOL does not have dependent types in its underlying logic making framework building a (much?) harder work.
by unboxed_type 8y ago
True. It is worth pointing out that Isabelle/HOL does not have dependent types in its underlying logic making framework building a (much?) harder work.
- YorkshireSeason 8y agoI'm not sure what you mean by "framework building" in this context.