cd/entity/HOL· home› entities› HOL
grep -l @hol /news/*.json | wc -l → 1

HOL

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

22:28
2026-07-06
github.com
developer-tools

Poly/ML – A Standard ML Implementation

Poly/ML, a Standard ML implementation compatible with the ML97 standard since version 4.0, offers a fast compiler, foreign function interface, symbolic debugger, and thread library. It is the preferre…

// co-occurs with top 4 entities
Poly/ML 1 Standard ML 1 Isabelle 1 ML97 1