? ?
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

March 2 2025, 21:29

Fabien Morel: 𝔸¹ Type Theory

https://github.com/groupoid/fabien

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