Update online documentation

[Anatolay]

PR-Codex overview

This PR updates dependencies and refactors code.

Detailed summary

• Added a theorem contains_to_mem in Record.lean
• Updated imports in PhiCalculus.lean
• Modified object attributes in Parallel/Confluence.lean
• Updated package URLs and versions in lake-manifest.json

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

[0crat]

@Anatolay Great effort on your recent work! 🌟 For future reference, we recommend naming Git branches after ticket numbers (e.g., "44") instead of "docs". This helps streamline our workflow. While this resulted in a -10 point adjustment, your overall balance remains positive at +13. Keep up the good work and let's continue improving together!

[0crat]

@Anatolay Hey there, great job on your contribution! 🎉 You've scored +20 points this time: +25 for the base, but we had to deduct 5 because there was only 1 comment. Remember, more comments can boost your score! We love seeing your code, so keep 'em coming. Every hit-of-code counts (up to 30 points!), and thorough reviews can prevent deductions. Your current balance is +3. Keep up the awesome work!

[0crat]

@eyihluyc Great job on the review! You've earned +15 points: +25 base points, +0.02 per hit-of-code (capped at 30), -10 for having fewer than 6 comments, and +1 per comment (max 20). Your running balance is now +30. Keep up the good work and aim for more detailed reviews to maximize your bonus! 💻🔍