LICENSE
README.md
pyproject.toml
src/kurt/__init__.py
src/kurt/__main__.py
src/kurt/kurt.py
src/kurt/theories/analysis.kurt
src/kurt/theories/equality.kurt
src/kurt/theories/field.kurt
src/kurt/theories/group.kurt
src/kurt/theories/integer.kurt
src/kurt/theories/logic.kurt
src/kurt/theories/matrix.kurt
src/kurt/theories/minimal.kurt
src/kurt/theories/modal.kurt
src/kurt/theories/natural.kurt
src/kurt/theories/numbers.kurt
src/kurt/theories/prop.kurt
src/kurt/theories/rational.kurt
src/kurt/theories/set.kurt
src/kurt/theories/vectorspace.kurt
src/kurt_lang.egg-info/PKG-INFO
src/kurt_lang.egg-info/SOURCES.txt
src/kurt_lang.egg-info/dependency_links.txt
src/kurt_lang.egg-info/entry_points.txt
src/kurt_lang.egg-info/requires.txt
src/kurt_lang.egg-info/top_level.txt
tests/test_api.py
tests/test_bare_bool_schema_warning.py
tests/test_bracket_sexpr_display.py
tests/test_breakpoint.py
tests/test_cannot_unify.py
tests/test_cli_exit_code.py
tests/test_cli_version.py
tests/test_declaration_origins.py
tests/test_definition_soundness.py
tests/test_equal_expr_alpha.py
tests/test_exists_intro_and_blocked_sets.py
tests/test_expect.py
tests/test_export_bundle.py
tests/test_file_fingerprint.py
tests/test_gen_all_combinations.py
tests/test_generate_all_combinations.py
tests/test_guided_rewrite.py
tests/test_implicit_declarations.py
tests/test_kernel.py
tests/test_kernel_boundary.py
tests/test_kernel_differential.py
tests/test_kernel_env.py
tests/test_kurt2latex.py
tests/test_kurt2lean.py
tests/test_kurt_lessons.py
tests/test_kurt_lexer.py
tests/test_kurt_parser.py
tests/test_kurt_proofs.py
tests/test_kurtc.py
tests/test_kurtc_text.py
tests/test_list.py
tests/test_load_cache.py
tests/test_load_file_exception_narrowing.py
tests/test_load_isolation.py
tests/test_local_label.py
tests/test_lsp.py
tests/test_match_exprs_to_patterns.py
tests/test_matrix.py
tests/test_non_flat_symmetric_operators.py
tests/test_optimized_python.py
tests/test_printing.py
tests/test_publish_script.py
tests/test_readme_counts.py
tests/test_reasons.py
tests/test_release_workflow.py
tests/test_save_command.py
tests/test_shell_errors.py
tests/test_shell_indentation.py
tests/test_shell_tab.py
tests/test_small_fixes.py
tests/test_standalone_bundle.py
tests/test_standalone_script.py
tests/test_strict_mode.py
tests/test_sub_matching.py
tests/test_sub_walk_capture.py
tests/test_theory_index.py
tests/test_theory_syntax_survives_load.py
tests/test_todo_discarded.py
tests/test_versions_agree.py