Skip to content
Snippets Groups Projects
Select Git revision
  • 74ba9850685e10790e5ad6061ca35bdc1a3c20a4
  • master default protected
  • exec_auto_adjust_trace
  • let_variables
  • v1.4.1
  • v1.4.0
  • v1.3.0
  • v1.2.0
  • v1.1.0
  • v1.0.0
10 results

settings.gradle

Blame
    • user avatar
    Initial commit
    dgelessus authored 
    Very basic kernel, only supports evaluation of Classical B expressions
and nothing else.
    a448bfa7
    History
    user avatar a448bfa7
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    settings.gradle 42 B 
    rootProject.name = "prob2-jupyter-kernel"