LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Jupyter Notebook

sandbox

My sandbox repository

Jupyter NotebookEmerging

Stars

1

Forks

—

Contributors

1

Last push

10d ago

Recent commits

Latest commits.

add smooth_functions.ipynb
8e887c3Masahiro Sakai84mo ago
tidy up
0a5f6edMasahiro Sakai14d ago
use more Agda-like names
9dc43f4Masahiro Sakai14d ago
define <-asym and ≤-Reasoning
4596c49Masahiro Sakai15d ago
tidy up
c5e256cMasahiro Sakai15d ago
clean up

353b267Masahiro Sakai17d ago

add PartialOrder.agda (6.6 a ≤ b → b ≤ a → a = b を示す)

a4c62dcMasahiro Sakai18d ago

6.6 a ≤ b → b ≤ a → a = b を示す

fd1bc6fMasahiro Sakai19d ago

Top contributors

Builders behind this project.