Thierry M.
@thierrymarianne
Greater Paris Metropolitan Area On GitHub since September 2011
1
Published Tools
0
Total Stars
901
Weekly Downloads
0
GitHub Followers
53
Public Repos
Published Tools
1 MCP Serveracross 1 categoryatp-lptp-mcp-server
thierrymarianne
MCP server for LPTP (Logic Program Theorem Prover) — proof verification, tactic application, and definition querying
MCP Serveruncategorised
901/wk1 dir