Search results

1.1.2a SML Signatures for SPaDE Native Repository I/O

Status: Open.

#30 In rbjones/SPaDE;

· rbjones opened on Nov 14, 2025

Test Glossary Augmentation Procedure and Scripts

Status: Open.

#29 In rbjones/SPaDE;

· rbjones opened on Nov 2, 2025

1.3 Implement MCP server providing read access to SPaDE repositories

Status: Open.

#18 In rbjones/SPaDE;

· rbjones opened on Sep 24, 2025

1.1.4 Code procedures in SML to export ProofPower theories to SPaDE repositories

Status: Open.

#17 In rbjones/SPaDE;

· rbjones opened on Sep 24, 2025

1.1.3 Complete specifications for ProofPower theory export to SPaDE repository (for coding)

Status: Open.

#16 In rbjones/SPaDE;

· rbjones opened on Sep 24, 2025

1.1.2 Code signatures in SML for the procedures required to export ProofPower theories to SPaDE repositories.

Status: Open.

#15 In rbjones/SPaDE;

· rbjones opened on Sep 24, 2025

1.2 Implement first SPaDE knowledge repository read only support facility.

Status: Open.

#13 In rbjones/SPaDE;

· rbjones opened on Sep 24, 2025

1.1 Implement ProofPower to SPaDE native export facility

Status: Open.

#12 In rbjones/SPaDE;

· rbjones opened on Sep 24, 2025

1. Implement first MCP server prototype.

Status: Open.

#11 In rbjones/SPaDE;

· rbjones opened on Sep 24, 2025