Repository navigation

proust

Public

About

Logic And Computation Intertwined

3 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.github		.github
project		project
src		src
.gitignore		.gitignore
.scala-steward.conf		.scala-steward.conf
LICENSE		LICENSE
README.md		README.md
build.sbt		build.sbt

Repository files navigation

proust

ᓚᘏᗢ ... Logic And 'Computation Intertwined, inspired by this excellent flânerie ... ᘛ⁐̤ᕐᐷ

About

Logic And Computation Intertwined

3 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages