Skip to content

Tags: lean-dojo/lean4code

Tags

v1.3.0

Toggle v1.3.0's commit message 
update leancopilot integration doc

v1.2.0

Toggle v1.2.0's commit message 
remove leanagent content

v1.1.0

Toggle v1.1.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Update README.md

v1.0.0

Toggle v1.0.0's commit message 
Added tracing context text box

v0.3.0-beta

Toggle v0.3.0-beta's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Update README.md

v0.2.0-beta

Toggle v0.2.0-beta's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Update README.md

v0.1.0-beta

Toggle v0.1.0-beta's commit message 
Updated welcome screen