Ctrl+K

1 contributor

History: 324 commits

ZAIDX11

Add files using upload-large-folder tool

3a9fa19 verified 8 months ago

.rustup
Add files using upload-large-folder tool 8 months ago
Coq-Platform~8.19~2024.10
Add files using upload-large-folder tool 8 months ago
ag4masses
Add files using upload-large-folder tool 8 months ago
alphageometry
Add files using upload-large-folder tool 8 months ago
leanprover--lean4---v4.22.0
Add files using upload-large-folder tool 8 months ago
alphageometry_adapter.py

4.61 kB
Add files using upload-large-folder tool 8 months ago
alphageometry_runner.py

0 Bytes
Add files using upload-large-folder tool 8 months ago
captum.py

708 Bytes
Add files using upload-large-folder tool 8 months ago
coq_adapter.py

640 Bytes
Add files using upload-large-folder tool 8 months ago
cross_universe_analysis.py

26.1 kB
Add files using upload-large-folder tool 8 months ago
ddar.py

642 Bytes
Add files using upload-large-folder tool 8 months ago
graph.py

581 Bytes
Add files using upload-large-folder tool 8 months ago
lean_adapter.py

649 Bytes
Add files using upload-large-folder tool 8 months ago
logging_config.py

12.8 kB
Add files using upload-large-folder tool 8 months ago
neuro_symbolic.py

23.1 kB
Add files using upload-large-folder tool 8 months ago
problem.py

792 Bytes
Add files using upload-large-folder tool 8 months ago
quantum_search.py

20.9 kB
Add files using upload-large-folder tool 8 months ago
test_theorem_engine.py

657 Bytes
Add files using upload-large-folder tool 8 months ago
theorem_engine.py

38.4 kB
Add files using upload-large-folder tool 8 months ago
theorem_engine.py.bak

35.3 kB
Add files using upload-large-folder tool 8 months ago
trace_back.py

15.8 kB
Add files using upload-large-folder tool 8 months ago
trace_back_test.py

11.2 kB
Add files using upload-large-folder tool 8 months ago
transformer_layer.py

26.5 kB
Add files using upload-large-folder tool 8 months ago
universe_generator.py

6.08 kB
Add files using upload-large-folder tool 8 months ago
vector_store.py

13 kB
Add files using upload-large-folder tool 8 months ago