Revert "Merge pull request #35 from or4nge19/3D-Neural-Network" - #36
Open
mkaratarakis wants to merge 1 commit into
Open
Revert "Merge pull request #35 from or4nge19/3D-Neural-Network"#36mkaratarakis wants to merge 1 commit into
mkaratarakis wants to merge 1 commit into
Conversation
This reverts merge commit 0bbb899, reversing changes made to 5867071. lakefile.lean and lake-manifest.json are deliberately left at their post-#35 state: that PR gated doc-gen4 behind `env = dev`, which is an orthogonal build improvement and is kept. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Reverts merge commit
0bbb8999(PR #35, "3 d neural network"), which was merged on 2026-02-10 and brought in 12 commits by @or4nge19 and leibniz-rs.Scope
39 files changed, +946 / −2591. Note this is wider than the
ThreeD/directory alone.Removed entirely:
NeuralNetwork/ThreeD/—BoltzmannLearning/(10 files),Bridges/(5 files),Core,Invariant,SOTA,SOTA_Gibbspaper/itp/—main.tex,refs.bib,README.mdNeuralNetwork/MCNN/—EnergyLens,HopfieldBridge,MarkovSemantics,QuiverLinearAD,SequentialBridge,SOTAMCMC/Finite/Convergence.lean,NeuralNetwork/SOTA.lean,NeuralNetwork/NeuralNetwork/BMLearning.mdRolled back to their pre-#35 contents:
NeuralNetwork/MCNN/—NN_GeneralJan26,NNSciLean,NNQuiver,UNFGibbsMeasure/SpinGlass.lean,MCMC/Finite/toKernel.lean,NeuralNetwork/NeuralNetwork/BoltzmannMachine.leanDeliberately not reverted
lakefile.leanandlake-manifest.jsonare left at their post-#35 state. PR #35 gateddoc-gen4behindenv = dev; reverting that would restoredoc-gen4,BibtexQuery,MD4LeanandUnicodeBasicas unconditional dependencies. That is an orthogonal build improvement and is kept.Notes
ThreeD.creal-nn-runcontains0bbb8999, so it will need a rebase or merge after this lands.🤖 Generated with Claude Code