Isabelle_Semantic_Embedding/__init__.py,sha256=VDoXYGGyLjiqNkBCA9R6ETd-G3Qe8DcM-Kx4gRKGrt8,921
Isabelle_Semantic_Embedding/_user_config.py,sha256=zrHUFGfWYkKjJKpOi1A4zhMEaiyMag4CLFYP1OJn65c,3838
Isabelle_Semantic_Embedding/_vecarith.py,sha256=-CDDwDQTtTabOYaxTOnLTq4uSsVNYsADnAUrXItfJAo,12658
Isabelle_Semantic_Embedding/_vecgather.abi3.so,sha256=IbISU-6IjIZSRAzDFGSiOxeArN9Uh-HqiNeGHXi_ldI,83888
Isabelle_Semantic_Embedding/_vecgather.c,sha256=eLUBTi4jqng34rkO-Bd8sKQqF2n7q2Z6Y71yFUCwXAc,5670
Isabelle_Semantic_Embedding/base.py,sha256=T6g5vQ6mrxAmMYZfialu_9D1Aayz80gY-JBgpuus7Pk,311
Isabelle_Semantic_Embedding/config_template.yaml,sha256=AcVvp61fZV48c-Fl8w2zsg1Gsh_yKbVlzsFVYynDgzc,1089
Isabelle_Semantic_Embedding/desugar.py,sha256=DZT-BembDYnyEKT9ne6QM9DtpEWAYj7rzBya0j0tTiE,4323
Isabelle_Semantic_Embedding/embedding_config.py,sha256=ytQbGlQnYxH-qnh-gi1BJBdBGcnlpiznwupYjd8E-KI,6052
Isabelle_Semantic_Embedding/embedding_config_template.yaml,sha256=y0njknWofq86PjV8rbkJzCjZkQdLGf3qB85lftUzE5I,4889
Isabelle_Semantic_Embedding/experience_index.py,sha256=cKTXGYG3DI5qVpVSjC7vX9iZIOzePDyeZ8qVpJVG5iM,8742
Isabelle_Semantic_Embedding/hover.py,sha256=kReGBPT6gBjdTGlFSAgva21rMzOI7y9DA8dmDsEwwLI,14128
Isabelle_Semantic_Embedding/libisabelle_vector.dylib,sha256=ie5-7ILE6RGPBIvIfxbwR27DA-Q5VWUvE8b-lyVH5Dk,85000
Isabelle_Semantic_Embedding/premise_selection.py,sha256=6NDVsvIQzLgp9W9pGpbJQiyV1Da85YqQxCt7vghme8k,16309
Isabelle_Semantic_Embedding/r2_sync.py,sha256=UyRUeO-sYAst-U_KkFLmCtSIspvGE9FkhXj_YiqSyTU,38296
Isabelle_Semantic_Embedding/semantic_embedding.py,sha256=FC7tDs3JMfJX9Ar07Qeeh55CIXcCnREJytwrde7e8yA,34927
Isabelle_Semantic_Embedding/semantic_interpretation.py,sha256=bX7XmEz9aoeI9jPF0n00vnQcl4qEFm-7WZc1zLdMOu0,45378
Isabelle_Semantic_Embedding/semantics.py,sha256=66gQKPn4LUehfJ1rKXViLOBK1SzXufM4l0K9XwvsbbI,81583
Isabelle_Semantic_Embedding/test_desugar_callback.py,sha256=eAg9q52RJE56TdLonsV-dUyzcfw3gu_vlJQ0guJ0Ly0,431
Isabelle_Semantic_Embedding/test_resolve_notation_callback.py,sha256=y-s2Vo30sEJKpvxMYrrePyrJODVSlX_RAFvS7_DRoFo,1169
Isabelle_Semantic_Embedding/theory_structure.py,sha256=xpgP33hyYKUchUPIqcyeF_120GO1-9JLXQrHN3711pI,3839
Isabelle_Semantic_Embedding/drivers/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
isabelle_semantic_embedding-0.1.0.dist-info/licenses/COPYING,sha256=7a72Msu2Q-TnoiFxemxEGkwafJGObk1W3rw9hzmyM_Y,17984
isabelle_semantic_embedding-0.1.0.dist-info/licenses/COPYING.LIB,sha256=IOUP56rj5WN46_BBfZ3pBPVaDmHk3zFTM-YypNNVXZU,26419
isabelle_semantic_embedding-0.1.0.dist-info/METADATA,sha256=OYE_Y99Vu3rN4USC1OJT6HcVR33hYQTKVGUmvsl64YM,13287
isabelle_semantic_embedding-0.1.0.dist-info/WHEEL,sha256=FTV2DgtGMjtArHOK76YNfCpNeXQEkZMMKnCuq9iumhQ,113
isabelle_semantic_embedding-0.1.0.dist-info/top_level.txt,sha256=8GD7BOdeybCvxw7BB60jNKIzP4ADVPjs_Ha0Kj9evps,28
isabelle_semantic_embedding-0.1.0.dist-info/RECORD,,
