Search results

Refactor assemblies and tripos modules

Status: Open.

#18 In rahulc29/realizability;

· rahulc29 opened on May 2, 2024

Migrate from <code>.agda</code> to <code>.lagda.md</code>

Status: Open.

#16 In rahulc29/realizability;

· rahulc29 opened on May 2, 2024

Classical Realizability

Status: Open.

#13 In rahulc29/realizability;

· rahulc29 opened on Feb 28, 2024

Refactor into using <code>opaque/unfolding</code>

Status: Open.

#12 In rahulc29/realizability;

· rahulc29 opened on Feb 24, 2024

Automate intuitionistic logic

Status: Open.

#10 In rahulc29/realizability;

· rahulc29 opened on Feb 2, 2024

Add models of combinatory algebras

Status: Open.

#9 In rahulc29/realizability;

· rahulc29 opened on Jan 24, 2024

Construct the effective topos

Status: Open.

#8 In rahulc29/realizability;

· rahulc29 opened on Jan 23, 2024

Treat partiality and construct Kleene's first algebra

Status: Open.

#7 In rahulc29/realizability;

· rahulc29 opened on Jan 23, 2024

Fix workflows

Status: Open.

#4 In rahulc29/realizability;

· rahulc29 opened on Nov 1, 2023

·  

Version 1 Release