164 followers
Are there any discussions of the architecture of Isabelle? I found this formalization of it's metalogic, which describes the engine (just one component!), but what about the other components (e.g., parser of the object logic, etc.)? CC .@LawrPaulson https