Skip to content

implemented a basic proof-search using effectful

795856e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Draft PR to discuss another llm-application in effectful - formal proof search #413

implemented a basic proof-search using effectful
795856e
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
build
succeeded Nov 24, 2025 in 1m 8s