Merge branch 'main' of https://github.com/FrederickPu/pullback

FrederickPu · FrederickPu · commit 6dade74fa3e7 · 2026-03-07T15:34:50.000-05:00
diff --git a/README.md b/README.md
@@ -1,2 +1,2 @@
 # pullback
-Formally verified code to code translation using LLMs and Lean4
+Framework for verified shallow embeddings and specification of proggramming language in Lean4

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`# pullback`
`2`		`-Formally verified code to code translation using LLMs and Lean4`
	`2`	`+Framework for verified shallow embeddings and specification of proggramming language in Lean4`