? ?
LiveJournal
  • Find more
    • Communities
    • RSS Reader
  • Shop
  • Help
  • Search
  • Log in
  • Join free Join
  • English (en)
    • English (en)
    • Русский (ru)
    • Українська (uk)
    • Français (fr)
    • Português (pt)
    • español (es)
    • Deutsch (de)
    • Italiano (it)
    • Беларуская (be)
maxim —
  • maxim
    Archive
    Photos
    Video
LiveJournal

Log in

No account? Create an account

No account? Create an account

By logging in to LiveJournal using a third-party service you accept LiveJournal's User agreement

maxim

February 26 2025, 12:55

Anders Mörtberg: Cubical Type Theory

https://github.com/groupoid/anders

0 comments
Post a new comment
Post a new comment

Applications

  • Download
  • Huawei
  • RuStore

Follow us:

  • Follow us on Twitter
LiveJournal

COMPANY

  • About
  • News
  • Help

PRODUCTS

  • "Share" button

COMMUNITY

  • Frank

CHOOSE LANGUAGE

v.927

  • Privacy Policy
  • User Agreement
  • Recommendation technologies
  • Help