Skip to content
L4 documentation

Quickstart

  • Quickstart
  • Quickstart: Getting orientated in the L4 spreadsheet user interface
  • Why use L4?

Learn To Use L4

  • Learn To Use L4
  • 1. Propositional Logic Examples
  • 2. Deontic and Temporal Logic Examples
  • 3. Data Breach Notification Example
  • Use Law to Understand L4

L4 Language Reference

  • L4 Language Reference
  • Exporting L4
  • List of Keywords in L4
  • L4 Language Specification
  • Publications

Philosophy Behind L4's Design

  • Philosophy Behind L4’s Design
  • Conceptual FAQ
  • How L4 Approaches Law
  • How L4 Addresses Problems in Computational Law
  • Functionally Enhanced Flowcharts and Law

L4 Developers

  • L4 Backend Setup Instructions
  • Conceptual Explanation of the Backend
  • 1. Webtool Setup Instructions
  • 2. Google Sheets Setup Intructions
  • 3. Compiling an Edited L4 Spreadsheet
  • 4. Security Considerations

About & Contact Us

  • About & Contact Us
  • Acknowledgements
L4 documentation /About & Contact Us

About & Contact Us¶

The Research Programme in Computational Law is the flagship programme at the Centre for Computational Law at the Singapore Management University, and is supported by the National Research Foundation of Singapore.

Contact us at cclaw_industry@smu.edu.sg for use-case collaboration, technical input, and anything else you think we could work together on.

© 2023, SMU CCLAW, Made with Sphinx 5.3.0