https://kleis.io/ 2026-05-18 1.0 https://kleis.io/papers 2026-09-04 0.5 https://kleis.io/docs/manual/book/ 2026-05-15 0.9 https://kleis.io/docs/manual/book/chapters/01-starting-out 2026-05-18 0.9 https://kleis.io/docs/manual/book/chapters/02-types 2026-05-29 0.9 https://kleis.io/docs/manual/book/chapters/03-functions 2026-05-29 0.9 https://kleis.io/docs/manual/book/chapters/04-algebraic-types 2026-05-29 0.9 https://kleis.io/docs/manual/book/chapters/05-pattern-matching 2026-05-29 0.9 https://kleis.io/docs/manual/book/chapters/06-let-bindings 2026-03-18 0.9 https://kleis.io/docs/manual/book/chapters/07-quantifiers-logic 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/08-conditionals 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/09-structures 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/10-implements 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/11-z3-verification 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/12-repl 2026-05-29 0.9 https://kleis.io/docs/manual/book/chapters/21-jupyter-notebook 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/23-document-generation 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/31-equation-editor 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/32-graph-editor 2026-05-28 0.9 https://kleis.io/docs/manual/book/chapters/30-sheet-music 2026-03-20 0.9 https://kleis.io/docs/manual/book/chapters/13-applications 2026-05-29 0.9 https://kleis.io/docs/manual/book/chapters/20-example-blocks 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/22-standard-library 2026-03-18 0.9 https://kleis.io/docs/manual/book/chapters/14-complex-numbers 2026-05-29 0.9 https://kleis.io/docs/manual/book/chapters/15-rational-numbers 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/16-bit-vectors 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/17-strings 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/18-sets 2026-05-29 0.9 https://kleis.io/docs/manual/book/chapters/19-matrices 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/24-symbolic-computation 2026-03-18 0.9 https://kleis.io/docs/manual/book/chapters/25-physics-applications 2026-03-18 0.9 https://kleis.io/docs/manual/book/chapters/26-control-systems 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/27-theory-building 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/28-agent-mcps 2026-06-18 0.9 https://kleis.io/docs/manual/book/chapters/29-structuralism 2026-06-18 0.9 https://kleis.io/docs/manual/book/appendix/grammar 2026-05-29 0.9 https://kleis.io/docs/manual/book/appendix/operators 2026-06-18 0.9 https://kleis.io/docs/manual/book/appendix/builtin-functions 2026-05-29 0.9 https://kleis.io/docs/manual/book/appendix/lapack 2026-04-27 0.9 https://kleis.io/docs/manual/book/appendix/ode-solver 2026-03-18 0.9 https://kleis.io/docs/manual/book/appendix/stdlib 2026-06-18 0.9 https://kleis.io/docs/manual/book/appendix/lisp-interpreter 2026-05-18 0.9 https://kleis.io/docs/manual/book/appendix/vscode-debugging 2026-03-18 0.9 https://kleis.io/docs/manual/book/appendix/cartan-geometry 2026-03-18 0.9 https://kleis.io/docs/papers/spectral_comb_proof.pdf 2026-03-18 1.0 https://kleis.io/docs/papers/transfer_function_paper.pdf 2026-03-18 1.0 https://kleis.io/docs/papers/selberg_universality_paper.pdf 2026-03-18 1.0 https://kleis.io/docs/papers/pot_flat_rotation_curves.pdf 2026-03-18 1.0 https://kleis.io/docs/papers/pot_electrodynamics_paper.pdf 2026-03-27 1.0 https://kleis.io/docs/papers/pot_yang_mills_paper.pdf 2026-04-03 1.0 https://kleis.io/docs/papers/pot_admissibility_restoration_paper.pdf 2026-04-03 1.0 https://kleis.io/docs/papers/pot_entanglement_paper.pdf 2026-03-18 1.0 https://kleis.io/docs/papers/technical_brief_realization_tautology.pdf 2026-03-18 1.0 https://kleis.io/docs/papers/ns_smoothness_paper.pdf 2026-04-04 1.0 https://kleis.io/docs/papers/ns_geometric_depletion_paper.pdf 2026-04-04 1.0 https://kleis.io/docs/papers/ns_bent_tube_paper.pdf 2026-04-04 1.0 https://kleis.io/docs/papers/ns_dynamical_closure_paper.pdf 2026-04-04 1.0 https://kleis.io/docs/papers/ns_tube_inevitability_paper.pdf 2026-04-05 1.0 https://kleis.io/docs/papers/pot_ns_epilogue_paper.pdf 2026-04-06 1.0 https://kleis.io/docs/papers/pot_renormalization_paper.pdf 2026-04-09 1.0 https://kleis.io/docs/papers/pot_renormalization_paper_v2.pdf 2026-09-08 1.0 https://kleis.io/papers/pot_renormalization_paper_v2.kleis 2026-09-08 0.7 https://kleis.io/docs/papers/pot_reduction_paper.pdf 2026-04-09 1.0 https://kleis.io/docs/papers/ym_vacuum_stability_paper.pdf 2026-04-15 1.0 https://kleis.io/docs/papers/pot_classical_spectral_essay.pdf 2026-04-09 1.0 https://kleis.io/docs/papers/pot_projection_singularity_paper.pdf 2026-04-20 1.0 https://kleis.io/docs/papers/pot_quantization_kernel_paper.pdf 2026-04-20 1.0 https://kleis.io/docs/papers/pot_phi4_oneloop_paper.pdf 2026-04-21 1.0 https://kleis.io/docs/papers/pot_qed_vacuum_polarization_paper.pdf 2026-04-21 1.0 https://kleis.io/docs/papers/pot_ym_vacuum_polarization_paper.pdf 2026-04-21 1.0 https://kleis.io/docs/papers/pot_ghost_activity_theorem_paper.pdf 2026-04-21 1.0 https://kleis.io/docs/papers/pot_gauge_dependence_ghost_paper.pdf 2026-04-21 1.0 https://kleis.io/docs/papers/pot_ker_q_atlas_paper.pdf 2026-04-21 1.0 https://kleis.io/docs/papers/pot_abstract_kq_framework_paper.pdf 2026-04-21 1.0 https://kleis.io/docs/papers/projection_fibers_paper.pdf 2026-04-24 1.0 https://kleis.io/docs/papers/fiber_dimension_paper.pdf 2026-04-24 1.0 https://kleis.io/docs/papers/pot_gr_lensing_paper.pdf 2026-04-24 1.0 https://kleis.io/docs/papers/toeplitz_paper.pdf 2026-04-24 1.0 https://kleis.io/docs/papers/transfer_function_bc_paper.pdf 2026-04-24 1.0 https://kleis.io/docs/papers/forced_localization_paper.pdf 2026-04-24 1.0 https://kleis.io/docs/papers/schanuel_conjecture_paper.pdf 2026-04-24 1.0 https://kleis.io/docs/papers/divergence_kernels_paper.pdf 2026-04-24 1.0 https://kleis.io/docs/papers/moonlight_paper.pdf 2026-04-24 1.0 https://kleis.io/docs/papers/pot_gr_projection_kernel_paper.pdf 2026-04-25 1.0 https://kleis.io/docs/papers/pot_kernel_factorization_paper.pdf 2026-04-25 1.0 https://kleis.io/docs/papers/middle_egyptian_paper.pdf 2026-05-03 1.0 https://kleis.io/docs/papers/pot_fiber_solvability_paper.pdf 2026-04-27 1.0 https://kleis.io/docs/papers/pot_ising_admissibility_paper.pdf 2026-05-16 1.0 https://kleis.io/docs/papers/geometric_unity_audit.pdf 2026-05-25 1.0 https://kleis.io/docs/papers/geometric_unity_epilogue.pdf 2026-05-24 1.0 https://kleis.io/docs/papers/pot_picard_lefschetz_kq_paper.pdf 2026-05-26 1.0 https://kleis.io/docs/papers/pot_alpha_stability_paper.pdf 2026-05-26 1.0 https://kleis.io/docs/papers/adjacent_riesz_gravity_paper.pdf 2026-09-08 1.0 https://kleis.io/docs/papers/pot_emergent_conformal_geometry_paper.pdf 2026-09-08 1.0 https://kleis.io/docs/papers/pot_conformal_reconstruction_paper.pdf 2026-09-08 1.0 https://kleis.io/docs/papers/pot_projective_metric_paper.pdf 2026-09-08 1.0 https://kleis.io/docs/papers/pot_action_from_projection_paper.pdf 2026-09-01 1.0 https://kleis.io/papers/pot_action_from_projection.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_projection_self_adjointness.kleis 2026-09-08 0.7 https://kleis.io/docs/papers/pot_galactic_interaction_paper.pdf 2026-09-08 1.0 https://kleis.io/docs/papers/strategy_synthesis_paper.pdf 2026-06-15 1.0 https://kleis.io/papers/pot_characteristic_topology.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_causal_reconstruction.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_metric_coherence.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_galactic_interaction.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_galactic_interaction_numerical.kleis 2026-09-08 0.7 https://kleis.io/papers/ttt_krylov.kleis 2026-09-08 0.7 https://kleis.io/papers/ttt_synthesis.kleis 2026-09-08 0.7 https://kleis.io/papers/tictactoe_bellman.kleis 2026-09-08 0.7 https://kleis.io/docs/papers/riesz_analytic_geometry_paper.pdf 2026-09-08 1.0 https://kleis.io/docs/papers/riesz_sector_hierarchy_paper.pdf 2026-09-08 1.0 https://kleis.io/docs/papers/riesz_phi4_bridge_proof.pdf 2026-09-08 1.0 https://kleis.io/docs/papers/riesz_physical_implications_note.pdf 2026-09-08 1.0 https://kleis.io/papers/pot_riesz_bgp_sectors.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_riesz_sector_signs.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_riesz_phi4_bridge.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_riesz_triangle_bridge.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_riesz_qed_bridge.kleis 2026-09-08 0.7 https://kleis.io/docs/papers/pot_kernel_gauge_geometry_paper.pdf 2026-09-03 1.0 https://kleis.io/papers/pot_kernel_gauge_geometry_paper.kleis 2026-09-03 0.7 https://kleis.io/papers/pot_kernel_symmetry.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_kernel_internal_symmetry.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_kernel_local_equivariance.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_kernel_transport_necessity.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_kernel_infinitesimal_transport.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_kernel_curvature.kleis 2026-09-08 0.7 https://kleis.io/docs/papers/riesz_kinematical_coherence_paper.pdf 2026-09-08 1.0 https://kleis.io/papers/riesz_kinematical_coherence_paper.kleis 2026-09-08 0.7 https://kleis.io/papers/riesz_allorders_proof.kleis 2026-09-08 0.7 https://kleis.io/papers/riesz_fock_schwinger_jets.kleis 2026-09-08 0.7 https://kleis.io/papers/riesz_fock_schwinger_mixing.kleis 2026-09-08 0.7 https://kleis.io/papers/riesz_dynamics_audit.kleis 2026-09-08 0.7 https://kleis.io/docs/papers/pot_projection_gauge_paper.pdf 2026-09-04 1.0 https://kleis.io/papers/pot_projection_gauge_paper.kleis 2026-09-04 0.7 https://kleis.io/papers/pot_projection_kernel_gauge_bridge.kleis 2026-09-04 0.7 https://kleis.io/papers/pot_projection_kernel_gauge_bridge_bundle.kleis 2026-09-04 0.7 https://kleis.io/docs/papers/pot_operator_constraints_note.pdf 2026-09-04 1.0 https://kleis.io/papers/pot_operator_constraints_note.kleis 2026-09-04 0.7 https://kleis.io/docs/papers/pot_sm_gauge_realizability_paper.pdf 2026-09-08 1.0 https://kleis.io/papers/pot_sm_gauge_realizability_paper.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_sm_gauge_realizability.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_sm_cancellation_lemma.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_sm_group_inverse_lemma.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_gauge_product_witness.kleis 2026-09-08 0.7 https://kleis.io/papers/pot_tensor_factor_discharge.kleis 2026-09-08 0.7