HERMIT Shell Team - ku-fpg/blackboard GitHub Wiki

AJG:

• pp stuff
• testing
• proof mode

Can we reify LCore into something the shell understands?

If we use handles, where are the handles stored?