Thanks. There's also https://github.com/jrh13/hol-light https://github.com/jrh13/hol-light which I think is still maintained (just learned about it in https://

Thanks. There's also https://github.com/jrh13/hol-light https://github.com/jrh13/hol-light which I think is still maintained (just learned about it in https://www.youtube.com/watch?v=uvMjgKcZDec https://www.youtube.com/watch?v=uvMjgKcZDec from this thread: https://news.ycombinator.com/item?id=40619482 https://news.ycombinator.com/item?id=40619482)