Hello,
The file loading and working system bootstrapping stubs are in place so I need to bootstrap the theorem prover, lexer and parser. The theorem prover still needs its validities parser, the lexer its file grepping for parsing Scheme files then the parser itself (BNF or something) still needs a full write.
The license changed to freeware (fully sub licensable), the source code is at Sourceforge : sf.net/projects/gremlin-scheme/files//
The file loading and working system bootstrapping stubs are in place so I need to bootstrap the theorem prover, lexer and parser. The theorem prover still needs its validities parser, the lexer its file grepping for parsing Scheme files then the parser itself (BNF or something) still needs a full write.
The license changed to freeware (fully sub licensable), the source code is at Sourceforge : sf.net/projects/gremlin-scheme/files//