Zulip Chat Archive

Stream: Geographic locality

Topic: Oslo, Norway

Anders Christiansen Sørby (Sep 16 2021 at 11:50):

Hi, I'm working on the Yatima Language from Oslo. This is a project very similar to Lean4, and we are looking for ways to be compatible and extend it with our own ideas.

Sebastian Ullrich (Sep 16 2021 at 12:00):

Great readme :)

Anders Christiansen Sørby (Sep 16 2021 at 15:00):

Thanks :) I also really like that you are using nix.

Scott Morrison (Sep 17 2021 at 02:03):

Hooray for content addressed code, a correctness exocortex, and Greg Egan. :-)

Last updated: Dec 20 2023 at 11:08 UTC