ILDS activity

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / KoreParser

2025-01-08T17:17:25Z

Horatiu Cheval (11b91ade) at 08 Jan 17:17

Delete definition.kore

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / KoreParser

2025-01-08T17:16:53Z

Horatiu Cheval (20c78c38) at 08 Jan 17:16

update example

Horatiu Cheval deleted project branch revert-e1071768 at ILDS / AML-Lean / KoreParser

2025-01-08T16:39:14Z

Horatiu Cheval (bfb4afb6) at 08 Jan 16:39

Horatiu Cheval accepted merge request !1: Revert "Update 9 files" at ILDS / AML-Lean / KoreParser

2025-01-08T16:39:13Z

This reverts commit e1071768

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / KoreParser

2025-01-08T16:39:13Z

Horatiu Cheval (d9d578a1) at 08 Jan 16:39

Merge branch 'revert-e1071768' into 'master'

... and 1 more commit

Horatiu Cheval opened merge request !1: Revert "Update 9 files" at ILDS / AML-Lean / KoreParser

2025-01-08T16:39:00Z

This reverts commit e1071768

Horatiu Cheval pushed new project branch revert-e1071768 at ILDS / AML-Lean / KoreParser

2025-01-08T16:38:01Z

Horatiu Cheval (bfb4afb6) at 08 Jan 16:38

Revert "Update 9 files"

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / MatchingLogic

2024-09-27T06:42:22Z

Horatiu Cheval (f8143584) at 27 Sep 06:42

Towards equivalence congruence

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / MatchingLogic

2024-09-25T08:31:23Z

Horatiu Cheval (58fb72c6) at 25 Sep 08:31

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / MatchingLogic

2024-09-24T15:43:00Z

Horatiu Cheval (f82a7d29) at 24 Sep 15:43

Update to v4.12.0-rc1

... and 2 more commits

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / MatchingLogic

2024-07-03T07:02:10Z

Horatiu Cheval (265212c1) at 03 Jul 07:02

Update Soundness.lean

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / MatchingLogic

2024-01-22T14:36:28Z

Horatiu Cheval (8398de8c) at 22 Jan 14:36

Update README.md

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / MatchingLogic

2024-01-22T14:35:03Z

Horatiu Cheval (eb857d1a) at 22 Jan 14:35

Update README.md

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / MatchingLogic

2024-01-22T14:34:40Z

Horatiu Cheval (facee7c3) at 22 Jan 14:34

Update README.md

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / MatchingLogic

2024-01-22T10:12:04Z

Horatiu Cheval (c68bfdf8) at 22 Jan 10:12

Update README.md

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / MatchingLogic

2024-01-22T10:10:47Z

Horatiu Cheval (f7f420a7) at 22 Jan 10:10

bump to leanprover/lean4:v4.5.0-rc1

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / KoreParser

2023-10-04T18:40:57Z

Horatiu Cheval (e1071768) at 04 Oct 18:40

Update 9 files

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / KoreParser

2023-08-19T20:39:56Z

Horatiu Cheval (8048fbb9) at 19 Aug 20:39

Update LICENSE

Horatiu Cheval pushed to project branch master at ILDS / AML-Lean / KoreParser

2023-08-19T20:39:23Z

Horatiu Cheval (1b90a39d) at 19 Aug 20:39

Add LICENSE

Horatiu Cheval pushed new project branch master at ILDS / AML-Lean / KoreParser

2023-08-19T20:38:34Z

Horatiu Cheval (e783bbc2) at 19 Aug 20:38

Initial commit